Home Research
Teaching
Calendar Links

Courses

  1. Language-based security (winter term, 2006-2007, Saarland University)

  2. Selected Topics of Information Security and Cryptography (winter term, 2007/2008, Saarland University)

  3. Language-based security (winter term, 2008-2009, Saarland University)