Heiko Mantel

ORCID

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 31

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Florian Dewald, Johanna Rohde, Christian Hochberger, Heiko Mantel
Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS. ACM Trans. Reconfigurable Technol. Syst. 15 (3) (2022)
Serge Demeyer, Reiner Hähnle, Heiko Mantel
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) (2022)
Alexandra Weber, Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Gernot Alber, Heiko Mantel, Thomas Walther
Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography. ESORICS (2) (2021)
Fabian Czappa, Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen, Felix Wolf
Design-time performance modeling of compositional parallel programs. Parallel Comput. 108 (2021)
Jan-Patrick Lehr, Christian H. Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi, Felix Wolf
Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization. ICPP (2021)
Marie-Christine Jakobs, Heiko Mantel
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. ISoLA (2) (2020)
Serge Demeyer, Reiner Hähnle, Heiko Mantel
Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. ISoLA (2) (2020)
Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, Tim Weißmantel
RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. CANS (2020)
Heiko Mantel
From Attacker Models to Reliable Security. AsiaCCS (2019)
Heiko Mantel, Christian W. Probst
On the Meaning and Purpose of Attack Trees. CSF (2019)
Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen, Felix Wolf
Designing Efficient Parallel Software via Compositional Performance Modeling. ProTools@SC (2019)
Heiko Mantel, Johannes Schickel, Alexandra Weber, Friedrich Weber
How Secure Is Green IT? The Case of Software-Based Energy Side Channels. ESORICS (1) (2018)
Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Arch. Formal Proofs 2018 (2018)
Yuri Gil Dantas, Tobias Hamann, Heiko Mantel
A Comparative Study Across Static and Dynamic Side-Channel Countermeasures. FPS (2018)
Tobias Hamann, Heiko Mantel
Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid. FPS (2018)
Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. NordSec (2018)
Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel
An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior. SEC (2018)
Ximeng Li, Heiko Mantel, Markus Tasch
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. APLAS (2017)
Florian Dewald, Heiko Mantel, Alexandra Weber
AVR Processors as a Platform for Language-Based Security. ESORICS (1) (2017)
Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, Alexandra Weber
Bounding the Cache-Side-Channel Leakage of Lattice-Based Signature Schemes Using Program Semantics. FPS (2017)
Heiko Mantel, Alexandra Weber, Boris Köpf
A Systematic Study of Cache Side Channels Across AES Implementations. ESSoS (2017)
Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, Alexandra Weber
Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics. IACR Cryptol. ePrint Arch. 2017 (2017)
Richard Gay, Jinwei Hu, Heiko Mantel, Johannes Schickel
Towards Accelerated Usage Control Based on Access Correlations. NordSec (2017)
Richard Gay, Jinwei Hu, Heiko Mantel, Sogol Mazaheri
Relationship-Based Access Control for Resharing in Decentralized Online Social Networks. FPS (2017)
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49 (1-2) (2016)
Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. LOPSTR (2015)
Jinwei Hu, Heiko Mantel, Sebastian Ruhleder
Enforcing Usage Constraints on Credentials for Web Applications. SEC (2015)
Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin
An Automatic Inference of Minimal Security Types. ICISS (2015)
Aslan Askarov, Stephen Chong, Heiko Mantel
Hybrid Monitors for Concurrent Noninterference. CSF (2015)
Heiko Mantel, Artem Starostin
Transforming Out Timing Leaks, More or Less. ESORICS (1) (2015)
Richard Gay, Heiko Mantel, Henning Sudbrock
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. Int. J. Secur. Softw. Eng. 6 (2) (2015)
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
Scalable Offline Monitoring. RV (2014)
Richard Gay, Jinwei Hu, Heiko Mantel
CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement. ICISS (2014)
Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber
Cassandra: Towards a Certifying App Store for Android. SPSM@CCS (2014)
Heiko Mantel
Reliably secure software systems. it Inf. Technol. 56 (6) (2014)
Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
A Formalization of Strong Security. Arch. Formal Proofs 2014 (2014)
Sylvia Grewe, Heiko Mantel, Daniel Schoepe
A Formalization of Assumptions and Guarantees for Compositional Noninterference. Arch. Formal Proofs 2014 (2014)
Heiko Mantel, Matthias Perner, Jens Sauer
Noninterference under Weak Memory Models. CSF (2014)
Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
A Formalization of Declassification with WHAT-and-WHERE-Security. Arch. Formal Proofs 2014 (2014)
Alexander Lux, Heiko Mantel, Matthias Perner
Scheduler-Independent Declassification. MPC (2012)
Heiko Mantel, Henning Sudbrock
Types vs. PDGs in Information Flow Analysis. LOPSTR (2012)
Heiko Mantel, David Sands, Henning Sudbrock
Assumptions and Guarantees for Compositional Noninterference. CSF (2011)
Richard Gay, Heiko Mantel, Barbara Sprick
Service Automata. Formal Aspects in Security and Trust (2011)
Heiko Mantel, Henning Sudbrock
Flexible Scheduler-Independent Security. ESORICS (2010)
Alexander Lux, Heiko Mantel
Declassification with Explicit Reference Points. ESORICS (2009)
Heiko Mantel, Henning Sudbrock
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust (2008)
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
Preface. J. Autom. Reason. 41 (3-4) (2008)
Alexander Lux, Heiko Mantel
Who Can Declassify?. Formal Aspects in Security and Trust (2008)
Boris Köpf, Heiko Mantel
Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Sec. 6 (2-3) (2007)
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security (2007)
Heiko Mantel, Alexander Reinhard
Controlling the What and Where of Declassification in Language-Based Security. ESOP (2007)
Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
Security of multi-agent systems: A case study on comparison shopping. J. Appl. Log. 5 (2) (2007)
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security (2007)
Heiko Mantel, Henning Sudbrock
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF (2007)
Heiko Mantel, Henning Sudbrock, Tina Kraußer
Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR (2006)
Boris Köpf, Heiko Mantel
Eliminating Implicit Information Leaks by Transformational Typing and Unification. Formal Aspects in Security and Trust (2005)
Heiko Mantel
The framework of selective interleaving functions and the modular assembly kit. FMSE (2005)
Heiko Mantel, Axel Schairer
Exploiting Generic Aspects of Security Models in Formal Developments. Mechanizing Mathematical Reasoning (2005)
Serge Autexier, Iliano Cervesato, Heiko Mantel
Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. 4 (1-2) (2005)
Heiko Mantel, David Sands
Controlled Declassification Based on Intransitive Noninterference. APLAS (2004)
Christoph Kreitz, Heiko Mantel
A Matrix Characterization for Multiplicative Exponential Linear Logic. J. Autom. Reason. 32 (2) (2004)
Heiko Mantel, Andrei Sabelfeld
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. J. Comput. Secur. 11 (4) (2003)
Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
03411 Abstracts Collection - Language Based Security. Language Based Security (2003)
Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
03411 Final Report - Language Based Security. Language Based Security (2003)
Dieter Hutter, Heiko Mantel, Axel Schairer
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. Prax. Inf.verarb. Kommun. 26 (1) (2003)
Andrei Sabelfeld, Heiko Mantel
Securing Communication in a Concurrent Language. SAS (2002)
Heiko Mantel
On the Composition of Secure Systems. IEEE Symposium on Security and Privacy (2002)
Heiko Mantel, Andrei Sabelfeld
A Generic Approach to the Security of Multi-Threaded Programs. CSFW (2001)
Heiko Mantel
Preserving Information Flow Properties under Refinement. IEEE Symposium on Security and Privacy (2001)
Heiko Mantel
Information Flow Control and Applications - Bridging a Gap. FME (2001)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Heiko Mantel
Unwinding Possibilistic Security Properties. ESORICS (2000)
Heiko Mantel, Felix C. Gärtner
A case study in the mechanical verification of fault tolerance. J. Exp. Theor. Artif. Intell. 12 (4) (2000)
Heiko Mantel, Felix C. Gärtner
A Case Study in the Mechanical Verification of Fault Tolerance. FLAIRS Conference (2000)
Heiko Mantel
Possibilistic Definitions of Security - An Assembly Kit. CSFW (2000)
Heiko Mantel, Jens Otten
linTAP: A Tableau Prover for Linear Logic. TABLEAUX (1999)
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Towards an Evolutionary Formal Software-Development Using CASL. WADT (1999)
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
System Description: inka 5.0 - A Logic Voyager. CADE (1999)
Heiko Mantel, Christoph Kreitz
A Matrix Characterization for MELL. JELIA (1998)
Serge Autexier, Heiko Mantel, Werner Stephan
Simultaneous Quantifier Elimination. KI (1998)
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
VSE: Controlling the Complexity in Formal Software Developments. FM-Trends (1998)
Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
Connection-Based Proof Construction in Linear Logic. CADE (1997)

Heiko Mantel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Heiko Mantel