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