|
|
|
tu-darmstadt.de
Heiko Mantel's main research focus is on topics in the intersection of formal methods, program analysis, and formal semantics with information security. He is also interested in and has contributed to research topics concerning automated deduction, concurrency, fault tolerance, and security certification. His research spectrum ranges from theoretical foundations and thinking tools to methods and automated tools to applications in the real world.
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
- information-flow security, information flow control, side channel analysis, and side-channel mitigation
- language-based security and implementation-level security for cryptography
- secure usage and usage control
- security of concurrent and distributed systems, in particular, in the IoT
- static and dynamic program analysis techniques and tools for verifying security
- syntax, semantics, and visualization of attacker models
Former research topics
- automated reasoning for sub-structural logics, in particular, linear logic
- connection method and tableaux calculi
- development of general-purpose theorem provers
- models of concurrency and weak memory models
- secure coding
- tool support for security certification according to evaluation criteria like ITSEC and CC (Common Criteria)
Teaching
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, Germany
- 2003-2005 post-doctoral researcher, Information Security group, ETH Zurich, Switzerland
- 2003 Ph.D., Saarland University, supervisor: Prof. Jörg Siekmann, Ph.D.
- 1996-2003 researcher, German Research Center for Artificial Intelligence Ltd. (DFKI GmbH), Saarbrucken, Germany
- 1997 Diplom in Informatik, TU Darmstadt
- 1994 M.Sc. in Computer Science, University of Colorado at Boulder, USA
Extended research stays at Cornell University (1999 and 2000), at Chalmers University (2001, 2003, and 2009), at Harvard University (2014), at University of Melbourne, UNITEC Auckland, and NICTA Sydney (2018/19), and at Arctic University of Norway Tromso (2022/23).
Third-party-funded research projects (as spokesman)
- 2018-2022 Software-Factory 4.0: LOEWE research focus funded by the state of Hesse
- 2010-2017 Reliably Secure Software Systems (RS3): German national research initiative funded by the DFG (German Research Association)
- 2005-2013 FM-SecEng: Emmy-Noether grant funded by the DFG in Aktionsplan Informatik
Third-party-funded research projects (as principal investigator)
- CROSSING: CRC Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments, Part Project E3: Secure Refinement of Cryptographic Algorithms (SeRCA)
- ATHENE: National research center for applied cybersecurity, current project: Distributed Usage and Information-Flow Control in the IoT (DUCIF)
- CRISP: Center for Research in Security and Privacy Darmstadt
- EC-SPRIDE: European Center for Security by Design
- CASED: Center for Advanced Security Research Darmstadt
and multiple other research projects and R&D projects.
Funding by BMBF, BMWi, DAAD, DFG, EU, industry, and the state of Hesse.
Current services to the national and international research community
- Member of the scientific directorate of Schloss Dagstuhl
- reviewer for Swiss AI Initiative (Large Grants)
- reviewer for Swiss National Science Foundation (Swiss Roadmap for Research Infrastructures)
Reviewer of third-party project proposals, research centers, and funding roadmaps by (selection)
- DFG (German Research Association)
- DAAD (German Academic Exchange Service)
- German National Academic Foundation (Studienstiftung des deutschen Volkes)
- INRIA Evaluation Committee
- NWO (Dutch Research Council)
- Swedish Foundation for Strategic Research
- Swiss AI Initiative
- Swiss National Science Foundation, SNSF (Schweizerischer Nationalfonds, SNF)
PC memberships (selection)
- CCS (ACM Conference on Computer and Communication Security)
- CSF (IEEE Computer Security Foundations Symposium/Workshop)
- CSF ToT (IEEE Computer Security Foundations Symposium, Test of Time)
- ESORICS (European Symposium on Research in Computer Security)
- ESSOS (International Symposium on Engineering Secure Software and Systems)
- FAST (Formal Aspects of Security and Trust)
- FMSE (Formal Methods for Security Engineering)
- ICFEM (International Conference on Formal Engineering Methods)
- IFIP SEC (IFIP TC-11 International Information Security and Privacy Conference)
- iFM (International Conference on Integrating Formal Methods)
- GI-Sicherheit
- ISOLA (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation)
- LOPSTR (International Symposium on Logic-Based Program Synthesis and Transformation)
- LPAR (International Conference for Logic for Programming, Artificial Intelligence, and Reasoning)
- POST (Conference on the Principles of Security and Trust)
- PrePost (Pre- and Post-Deployment Verification Techniques)
- QASA (International Workshop on Quantitative Aspects in Security Assurance)
- SAC (ACM Symposium on Applied Computing, Track on Computer Security)
- SecCo
- S&P (IEEE Security&Privacy Symposium)
- TRUST (International Conference on Trust and Trustworthy Computing)
- VERIFY (Verification Workshop)
Services at TU Darmstadt (selection)
- delegate of the senate of TU Darmstadt for faculty hiring (Senatsbeauftragter in Berufungsfragen), two periods
- member of the departmental council of Computer Science (Fachbereichsrat), multiple periods
- chairman of committees for hiring new faculty members (Vorsitz Berufungskommission), three times
- member of committees for hiring new faculty members (Mitglied Berufungskommission), multiple times
- founding member of TU Darmstadt's research profile area in cyber security CYSEC (since 2015)
- member of the chancellor's board for selecting based theses in Computer Science, in Mathematics, and in Industrial Engineering and Management (Datenlotsenpreis), 2011-2015
- member of the strategy commission of the department of Computer Science (Strategiekommission), 2009-2011
- founder and coordinator of the CASED distinguished lecture series, 2009-2012
- co-coordinator of the Long-Term Security lecture series, 2007
