| 2024 | DAC | HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation. | Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weimantel, Hossein Yalame |
| 2024 | ISoLA | Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. | Serge Demeyer, Reiner Hhnle, Heiko Mantel |
| 2024 | ISoLA | Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors. | Maximilian Gehring, Heiko Mantel |
| 2022 | ISoLA | Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. | Serge Demeyer, Reiner Hhnle, Heiko Mantel |
| 2021 | ESORICS | Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography. | Alexandra Weber, Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Gernot Alber, Heiko Mantel, Thomas Walther |
| 2021 | ICPP | Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization. | Jan-Patrick Lehr, Christian H. Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi, Felix Wolf |
| 2020 | CANS | RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. | Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, Tim Weimantel |
| 2020 | ISoLA | Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. | Serge Demeyer, Reiner Hhnle, Heiko Mantel |
| 2020 | ISoLA | A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. | Marie-Christine Jakobs, Heiko Mantel |
| 2019 | CCS | From Attacker Models to Reliable Security. | Heiko Mantel |
| 2019 | SC | Designing Efficient Parallel Software via Compositional Performance Modeling. | Alexandru Calotoiu, Thomas Hhl, Heiko Mantel, Toni Nguyen, Felix Wolf |
| 2018 | ESORICS | How Secure Is Green IT? The Case of Software-Based Energy Side Channels. | Heiko Mantel, Johannes Schickel, Alexandra Weber, Friedrich Weber |
| 2018 | SEC | An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior. | Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel |
| 2017 | APLAS | Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. | Ximeng Li, Heiko Mantel, Markus Tasch |
| 2017 | ESORICS | AVR Processors as a Platform for Language-Based Security. | Florian Dewald, Heiko Mantel, Alexandra Weber |
| 2015 | ESORICS | Transforming Out Timing Leaks, More or Less. | Heiko Mantel, Artem Starostin |
| 2015 | ICISS | An Automatic Inference of Minimal Security Types. | Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin |
| 2015 | LOPSTR | Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. | Heiko Mantel, Markus Mller-Olm, Matthias Perner, Alexander Wenner |
| 2015 | SEC | Enforcing Usage Constraints on Credentials for Web Applications. | Jinwei Hu, Heiko Mantel, Sebastian Ruhleder |
| 2014 | CCS | Cassandra: Towards a Certifying App Store for Android. | Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bhr, David Schneider, Alexandra Weber |
| 2014 | ICISS | CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement. | Richard Gay, Jinwei Hu, Heiko Mantel |
| 2014 | RV | Scalable Offline Monitoring. | David A. Basin, Germano Caronni, Sarah Ereth, Mats Harvan, Felix Klaedtke, Heiko Mantel |
| 2012 | LOPSTR | Types vs. PDGs in Information Flow Analysis. | Heiko Mantel, Henning Sudbrock |
| 2012 | MPC | Scheduler-Independent Declassification. | Alexander Lux, Heiko Mantel, Matthias Perner |
| 2010 | ESORICS | Flexible Scheduler-Independent Security. | Heiko Mantel, Henning Sudbrock |
| 2009 | ESORICS | Declassification with Explicit Reference Points. | Alexander Lux, Heiko Mantel |
| 2007 | ESOP | Controlling the What and Where of Declassification in Language-Based Security. | Heiko Mantel, Alexander Reinhard |
| 2006 | LOPSTR | Combining Different Proof Techniques for Verifying Information Flow Security. | Heiko Mantel, Henning Sudbrock, Tina Krauer |
| 2005 | CCS | The framework of selective interleaving functions and the modular assembly kit. | Heiko Mantel |
| 2004 | APLAS | Controlled Declassification Based on Intransitive Noninterference. | Heiko Mantel, David Sands |
| 2002 | SP | On the Composition of Secure Systems. | Heiko Mantel |
| 2002 | SAS | Securing Communication in a Concurrent Language. | Andrei Sabelfeld, Heiko Mantel |
| 2001 | FM | Information Flow Control and Applications - Bridging a Gap. | Heiko Mantel |
| 2001 | SP | Preserving Information Flow Properties under Refinement. | Heiko Mantel |
| 2000 | ESORICS | Unwinding Possibilistic Security Properties. | Heiko Mantel |
| 2000 | FlAIRS | A Case Study in the Mechanical Verification of Fault Tolerance. | Heiko Mantel, Felix C. Grtner |
| 1999 | CADE | System Description: inka 5.0 - A Logic Voyager. | Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer |
| 1999 | TABLEAUX | linTAP: A Tableau Prover for Linear Logic. | Heiko Mantel, Jens Otten |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | JELIA | A Matrix Characterization for MELL. | Heiko Mantel, Christoph Kreitz |
| 1998 | KI | Simultaneous Quantifier Elimination. | Serge Autexier, Heiko Mantel, Werner Stephan |
| 1997 | CADE | Connection-Based Proof Construction in Linear Logic. | Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt |