Certifiable Trustworthy IT Systems
Prof. Dr. Alexander Pretschner
Secretary
Hildegard Sauer
Karlsruhe Institute of Technology
Department of Informatics
Institute for Program Structures and Data Organization
Am Fasanengarten 5
Building 50.34, Room 032
76131 Karlsruhe
phone +49 721 608-5081
fax +49 721 608-5079