Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Modellierung und Analyse von Informationssystemen

Address Hochschulstraße 10
64289 Darmstadt
Deutschland

GERiT This institution in GERiT

64289 Darmstadt

Projects

Independent Junior Research Groups
- Completed projects
  - Formale Methoden, Techniken und Werkzeuge für die Entwicklung sicherer Systeme
    (Applicant Mantel, Heiko )
Priority Programmes
- Completed projects
  - Coordination Funds
    (Applicant Mantel, Heiko )
  - Reliable Security for Concurrent Programs
    (Applicant Mantel, Heiko )
  - SPP 1496: Reliably Secure Software Systems
    (Spokesperson Mantel, Heiko )
Research Grants
- Completed projects
  - Synchronous and Asynchronous Interaction in Distributed Systems
    (Applicants Goltz, Ursula ; Nestmann, Uwe ; Peters, Kirstin )
Collaborative Research Centres
- Current projects
  - Secure Refinement of Cryptographic Algorithms
    (Project Heads Fischlin, Marc ; Mantel, Heiko )

© 2024 DFG Disclaimer / Copyright / Privacy Policy