- Suche

- Kontakt

Dr. Kurt Stenzel

Akad. Rat

E-Mail: stenzel@informatik.uni-augsburg.de
Telefon: +49 821 598 - 2123
Fax: +49 821 598 - 2175
Raum: 3051N


My main research interests are:

  • SecureMDD, our model driven development method for security critical applications (see my publications in 2009)
  • correctness of model transformations
  • correctness and security of Java Card programs
  • formal methods
  • program verification, esp. for Java and Java Card programs
  • verification of cryptographic protocols
  • interactive theorem proving, and further development of our prover KIV


You can browse



In 2005, I finished my Ph.D. thesis titled Verification of Java Card Programs. The official site of the dissertation is

You can browse the formal specifications and proofs of the dissertation. (This requires an xml/xslt-capable browser like Firefox or Internet Explorer.)

Postal address:
Lehrstuhl für Softwaretechnik und Programmiersprachen
Institut für Informatik
Universität Augsburg
86135 Augsburg