Dr. Kurt Stenzel

E-Mail:	stenzel@informatik.uni-augsburg.de
Telefon:	+49 821 598 - 2123
Fax:	+49 821 598 - 2175
Raum:	3051N
Hausanschrift:	Universitätsstr. 6a 86159 Augsburg

My main research interests are:

IFlow, a project for developing systems with secure information flow. Topics are
- information flow control theory
- language based IFC
- model driven development of IFC aware systems with UML
SecureMDD, our model driven development method for security critical applications based on security/cryptographic protocols. This includes
- modeling security protocols with UML
- correctness of model transformations
- formal methods
- verification of cryptographic protocols
GoCard, a project for the development of formal methods for secure Java smart card applications. (Actually, this is a precursor of SecureMDD. This includes
- specifying security protocols
- correctness and security of Java Card programs
- program verification, esp. for Java and Java Card programs
interactive theorem proving, and further development of our interactive prover KIV
I also teach a course on programming smart cards in Java Card (in German)

You can browse

my publications, or
all publications of our group, or
take a look at the projects of our group.
If you are interested you can have a look at our teaching activities (in german).

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