Dipl.-Math. Christina Lindenberg
![]() |
Darmstadt University of Technology Room: S2/02 B115 Tel.: 06151/16-2863 Email: lindenberg@informatik.tu-darmstadt.de |
Research Interests
- Formal verification of cryptographic protocols within the scope of the Verisoft Project
- Forward Security
- Key Insulated Security
- Intrusion Resilient Security
Publications
- Quantenalgorithmus für das Hauptidealproblem, Diploma Thesis (ps)
Talks
- Oberseminar TU Darmstadt: Langfristige Sicherheit von Signaturverfahren (pdf)
Projects
Teaching
- "Einführung in Trusted Systems", Winter Term 05/06
- "Einführung in die Kryptographie", Winter Term 05/06
- "Public-Key-Infrastrukturen", Summer Term 05
- "Provable Secure Cryptography", Winter Term 04/05
- "Einführung in die algorithmische Zahlentheorie", Summer Term 04
Internal
Date: 29.05.2006



