Project Details
Person
Professor Dr.-Ing. Heiko Mantel
Address
Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Modellierung und Analyse von Informationssystemen
Hochschulstraße 10
64289 Darmstadt
-
As Applicant
-
Completed projects
-
Formale Methoden, Techniken und Werkzeuge für die Entwicklung sicherer Systeme (Independent Junior Research Groups)
-
Reliable Security for Concurrent Programs (Priority Programmes)
-
Coordination Funds (Priority Programmes)
-
-
Completed projects
-
As Spokesperson
-
Completed projects
-
SPP 1496: Reliably Secure Software Systems (Priority Programmes)
-
-
Completed projects
-
As Project Head
-
Current projects
-
Secure Refinement of Cryptographic Algorithms (Collaborative Research Centres)
-
-
Current projects
