Prof. Dr.-Ing. Heiko Mantel

H. Mantel
Office: S2|02 E317
Phone: +49 6151 16-25250 (secretary)
+49 6151 16-25252 (direct or secretary)
Fax: +49 6151 16-25251

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


Heiko Mantel has been professor for Computer Science at TU Darmstadt since 2007.  Since 2010, he has been the scientific coordinator and speaker of the German national research initiative RS3 (Reliably Secure Software Systems) funded by the DFG (German Research Association).  He has been a principle investigator of the DFG-funded collaborative research center CROSSING (Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments), of CASED (Center for Advanced Security Research Darmstadt), of CRISP (Center for Research in Security and Privacy Darmstadt), and of EC-SPRIDE (European Center for Security by Design) since these centers have been founded. 

Heiko Mantel served for the DFG as a reviewer for proposals of individual projects, graduate schools, and collaborative research centers.  He also served as reviewer for the DAAD (German Academic Exchange Service), the NWO (Nederlandse Organisatie voor Wetenschppelijk Onderzoek), the Studienstiftung des deutschen Volkes (German National Academic Foundation), and the Swedish Foundation for Strategic Research.  He is on the editorial board of IJIS (Springer's International Journal on Information Security), was on the program committees of many international and national conferences, and served as reviewer of numerous conference and journal submissions.

Heiko Mantel's main research focus is on information security and on concurrency.  Most of his research projects have been motivated by a need for more trustworthy solutions.  His research spectrum ranges from theoretical foundations over methods and tools to applications in the real world.

Short CV

  • 2009-now  full professor, Computer Science department, TU Darmstadt
  • 2007-2009 associate professor, Computer Science department, TU Darmstadt
  • 2005-2007 assistant professor for Security Engineering, RWTH Aachen
  • 2003-2005 post-doctoral researcher, Information Security group (supervisor: Prof. David A. Basin, Ph.D.), ETH Zurich
  • 1996-2003 researcher, German Research Center for Artificial Intelligence Ltd. (DFKI GmbH), Saarbrucken
Heiko Mantel received his doctoral degree (Dr.-Ing.) from Saarland University in 2003 (supervisor: Prof. Jörg Siekmann, Ph.D.).  He holds a Masters degree in Computer Science from the University of Colorado at Boulder and a Diploma degree in Computer Science from the Technische Universität Darmstadt. Heiko Mantel spent extended research stays at Chalmers University (2001, 2003, and 2009), at Cornell University (1999 and 2000), and at Harvard University (2014).

Mission statement on information security research

"I think that many aspects of information security are still in need of better foundations.  Personally, I am interested in foundations that have a clearly identifiable potential for applications - today or in the future - for instance for implementing tools that provide better security analysis or better security engineering support.  I am also interested in foundations that can be used as thinking tools to ease navigation and to reduce conceptual complexity in problem solving.  It is well known that information security is not always compatible with abstractions commonly used in Computer Science, but we have not yet found abstractions that are right for information security and also for the other areas of Computer Science.  This lack of suitable abstractions is complicating both, security analysis and security engineering."

Research topics

  • combining analytical and experimental techniques in security verification
  • compositional reasoning about security and abstractions suitable for security
  • formal methods for security requirement definition, security analysis, and security engineering
  • implementation-level security for cryptography
  • information-flow security and information flow control
  • language-based security
  • mobile security
  • models of concurrency and weak memory models
  • secure usage and usage control
  • security of concurrent and distributed systems
  • side channel analysis and mitigation
  • static and dynamic program analysis techniques and tools for verifying security
Former research topics
  • automated reasoning for sub-structural logics like linear logic
  • connection method and tableaux calculi
  • secure coding
  • tool support for security certification according to evaluation criteria like ITSEC and Common criteria

Current third-party-funded research projects

  • CRISP (Center for Research in Security and Privacy)
    funded by the BMBF (German Federal Ministry of Education and Research)
    the profile area on Cybersecurity at TU Darmstadt
  • RS3-COOR (Coordination of Reliably Secure Software Systems)
    funded as a priority programme by the DFG (German Research Foundation)
  • RSCP (Reliable Security for Concurrent Programs)
    funded by the DFG (German Research Foundation) in the priority program RS3 (Reliably Secure Software Systems)
  • SeRCA (Secure Refinement of Cryptographic Algorithms)
    funded by the DFG (German Research Foundation) in the collaborative research center CROSSING as project E3
  • SF 4.0 (Software-Factory 4.0)
    funded as a Research Focus within LOEWE (Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz) by the HMWK (Hessen State Ministry for Higher Education, Research and the Arts)
completed projects


Services at TU Darmstadt

Heiko Mantel served as a member of the Computer science department's strategy commission (2009-2011), as a delegate of the university's senate for faculty recruitment (Senatsbeauftragter in Berufungsfragen), as member of the council of the Computer Science department (Fachbereichsrat), and as chairman or member of multiple committees for hiring new faculty members in the Computer Science department.  He coordinated the CASED distinguished lecture series (2009-2012), was a co-organizer of the Long-Term Security lecture series (2007), and was on the university chancellor's board for selecting the best Bachelor theses and Master theses in Computer Science, in Mathematics, and in Industrial Engineering and Management for the Datenlotsenpreis (2011-2015).  He is a founding member of TU Darmstadt's research profile area in cyber security CYSEC (since 2015).

Selected organization of events and PC memberships

  • PC member, CSF 2018: IEEE 31st Computer Security Foundations Symposium, 2018.
  • PC member, GI SICHERHEIT 2018: Schutz und Zuverlässigkeit, 2018.
  • PC member, POST 2018: International Conference on Principles of Security and Trust, 2018.
  • PC member, PrePost 2017: International Workshop on Pre- and Post-Deployment Verification Techniques, 2017.
  • PC member, ESORICS 2017: European Symposium on Research in Computer Security, 2017.
  • PC member, ESORICS 2016: European Symposium on Research in Computer Security, 2016.
  • PC member, LOPSTR 2016: International Symposium on Logic-Based Program Synthesis and Transformation, 2016.
  • PC member, Sicherheit 2016: Schutz und Zuverlässigkeit, 2016.
  • Organizer, Staff Meeting 2016 of DFG Priority Programme RS3 in Königsfeld, 2016
  • PC member, ESSoS 2016: International Symposium on Engineering Secure Software and Systems, 2016.
  • Organizer, Annual Meeting 2015 of DFG Priority Programme RS3 in Bremen, 2015
  • PC member, IFIP SEC 2015: International Information Security and Privacy Conference, 2015.
  • PC member, POST 2015: International Conference on Principles of Security and Trust, 2015.
  • Organizer, Staff Meeting 2015 of DFG Priority Programme RS3 in Freudenstadt, 2015
  • Organizer, Annual Meeting 2014 of DFG Priority Programme RS3 in Trier, 2014
  • PC member, IFIP SEC 2014: International Information Security and Privacy Conference, 2014.
  • Organizer, Staff Meeting 2014 of DFG Priority Programme RS3 in Bad Münster am Stein Ebernburg, 2014
  • PC member, ESSoS 2014: International Symposium on Engineering Secure Software and Systems, 2014.
complete list of services to the scientific community

Selected recent publications


A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang