Teaching (past)

• Logisch programmeren (constraint logic programming)
• Distributed Trust Management (course in Twente)
• Distributed Trust Management (slides of the course in Trento, 2007)
• Besturingssystemen (operating systems)
• DEBT: Distributed E-business Techniques
• Security (guest lectures at the TuE and local mirror of the sides of my lessons in DEBT.)
• Verifica di protocolli (slides e materiale utile della mia parte di corso a Trento)
• Security of Information Services (UT)
• Distributed Trust Management (TU/e - also available at the UT and RU as telelecture)
• Hacker's Hut