Kai Wirt
 |
Technische Universität Darmstadt Room: S2/02 B117 Tel.: 06151/16-6630 Email: wirt@informatik.tu-darmstadt.de |
Research Interests
- Formal Verification of Cryptographic Protocols
- Symmetric Ciphers and T-Functions
- Cryptanalysis of symmetric ciphers
Publications
- Transaktionsbasierte Bilddekodierung, Diploma Thesis, University Ulm, (pdf)
- Ralf-Phillip Weinmann, Kai Wirt, "Analysis of the DVB Common Scrambling Algorithm", Communications and Multimedia Security, Proceedings of the 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2004), Springer Verlag, (pdf)
- Kai Wirt, "Fault Attack on the DVB Common Scrambling Algorithm", International Workshop on Information Security & Hiding (ISH '05) in conjunction with The International Conference on Computational Science & It's Applications (ICCSA 2005) Proceedings, Part II, LNCS 3481, Springer Verlag http://www.springerlink.com/index/10.1007/11424826_61
- Christina Lindenberg, Kai Wirt, Johannes Buchmann, "Formal Proof for the Correctness of RSA-PSS", Cryptology ePrint Archive, Report 2006/011, http://eprint.iacr.org/2006/011
- Kai Wirt, "ASC - A Stream Cipher with Built-In MAC Functionality", Accepted for publication on CSE 2007 - 4th International Conference on Computer Science and Engineering (pdf)
Talks
- 25.09.03 Leipziger Informatiktage: Kryptographie-Ein Überblick und zukünftige Entwicklungen
- 16.12.03 Oberseminar TU Darmstadt: Introduction to Isabelle
- 01.06.04 Oberseminar TU Darmstadt: Feedback Shift Registers
- 19.08.04 Cast Forum: Analyse einer Stromchiffre zum Schutz von multimedialen Daten
- 21.09.04 Uni Saarbrücken: On message authentication codes
- 04.11.04 Uni Saarbrücken: Das Rabin Kryptosystem
- 18.01.05 Theorie Seminar TU Darmstadt: Formale Verifikation von Programmen
- 19.04.05 Oberseminar TU Darmstadt: Fault attack on the DVB Common Scrambling Algorithm
- 09.05.05 ICCSA 2005 Singapore: Fault attack on the DVB Common Scrambling Algorithm
- 23.05.05 FH Aschaffenburg: On the DVB Common Scrambling Algorithm
- 21.06.05 Theorie Seminar TU Darmstadt: T-Funktionsbasierte Stromchiffren
- 06.09.05 Uni Koblenz: On the ideal system in the Backes-Pfitzmann-Waidner Model
- 13.12.05 Theorie Seminar TU Darmstadt: Formalisierung von Probabilistisch Polynomieller Zeit
- 03.04.06 TU Darmstadt: Verifikation von RSA-PSS
- 11.06.06 Theorie Seminar TU Darmstadt: Analysis of the CSA
Projects
Teaching
- Praktikum Kryptographie
- Seminar Symmetrische Kryptographie
Short Curriculum Vitae
- 31.10.1977: Born in Ulm, Germany
- 1997: Abitur Kepler Gymnasium Ulm
- 1998-2003: Student at the University of Ulm
- 2003: Diploma in Computer Science (Dipl.-Inf) University of Ulm
- since 2003: PhD student at Darmstadt Technical University
PGP-Public Key
- Key ID: 0xAAB63E80
