Markus Kaiser

mitarbeiter-Bild

Technische Universität Darmstadt
Fachbereich Informatik
Kryptographie und Computeralgebra
Hochschulstraße 10
64289 Darmstadt
Germany

Room: S2/02 B117

Tel.: 06151/16-6630
Fax: 06151/16-6036

Email: kaiser@informatik.tu-darmstadt.de

Research Interests

  • Formal Verification of Cryptographic Protocols and Algorithms
  • Functional Programming and Logic
  • Computer Science in School

Publications

  • Diplomarbeit: Effizientes Beweisen mit einem formalen Beweissystem

Projects

Teaching

  • Übung zu PKI-Vorlesung

Printerenglisch deutsche Flagge   Impressum