dusko's minimal page

papers:

• Security
• Search, social computation and networks
• Quantum computation
• Software engineering and specifications
• Coalgebra
• Semantics of computation
• Math and Logic

recent courses:

• Economics and Security
• Computability and Complexity
• Principles of Security

selected talks:

• 2012
• 2011
• 2010
• 2009
• 2008

my other pages:

• dusko's less minimal page
• ASECOLAB
• cloudfactory