Heiko Mantel

Heiko Mantel is Professor of Computer Science at TU Darmstadt, specializing in information security and formal methods. As spokesman for the LOEWE research focus Software-Factory 4.0, he coordinates interdisciplinary projects on reliable software systems.

His research develops foundational and applied approaches to security challenges, including information-flow control, side-channel mitigation, and quantum cryptography. Current projects investigate rigorous cache side-channel defenses, decentralized mobile security enforcement, and quantum-secure communication systems.

Professor Mantel leads several collaborative initiatives including the DFG-funded SeRCA project on cryptographic algorithm refinement and the ATHENE national research center's work on distributed workflow security. His group develops tools like RiCaSi for hardware-level security and CliSeAuDroid for mobile application protection.