Heiko Mantel

According to our database, Heiko Mantel authored at least 85 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation.

Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weißmantel, Hossein Yalame

IACR Cryptol. ePrint Arch., 2024

Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors.

Maximilian Gehring, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Automating Software Re-Engineering Introduction to the ISoLA 2024 Track.

Serge Demeyer, Reiner Hähnle, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2022

Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS.

Florian Dewald, Johanna Rohde, Christian Hochberger, Heiko Mantel

ACM Trans. Reconfigurable Technol. Syst., 2022

Automating Software Re-engineering: Introduction to the ISoLA 2022 Track.

Serge Demeyer, Reiner Hähnle, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Design-time performance modeling of compositional parallel programs.

Fabian Czappa, Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen, Felix Wolf

Parallel Comput., 2021

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

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography.

Alexandra Weber, Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Gernot Alber, Heiko Mantel, Thomas Walther

Proceedings of the Computer Security - ESORICS 2021, 2021

2020

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.

Marie-Christine Jakobs, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Automating Software Re-engineering - Introduction to the ISoLA 2020 Track.

Serge Demeyer, Reiner Hähnle, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation.

Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, Tim Weißmantel

Proceedings of the Cryptology and Network Security - 19th International Conference, 2020

2019

Designing Efficient Parallel Software via Compositional Performance Modeling.

Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen, Felix Wolf

Proceedings of the IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019

On the Meaning and Purpose of Attack Trees.

Heiko Mantel, Christian W. Probst

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

From Attacker Models to Reliable Security.

Heiko Mantel

Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019

2018

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch

Arch. Formal Proofs, 2018

An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior.

Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel

Proceedings of the ICT Systems Security and Privacy Protection, 2018

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.

Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch

Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018

Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid.

Tobias Hamann, Heiko Mantel

Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018

A Comparative Study Across Static and Dynamic Side-Channel Countermeasures.

Yuri Gil Dantas, Tobias Hamann, Heiko Mantel

Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018

How Secure Is Green IT? The Case of Software-Based Energy Side Channels.

Heiko Mantel, Johannes Schickel, Alexandra Weber, Friedrich Weber

Proceedings of the Computer Security, 2018

2017

Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics.

Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, Alexandra Weber

IACR Cryptol. ePrint Arch., 2017

Towards Accelerated Usage Control Based on Access Correlations.

Richard Gay, Jinwei Hu, Heiko Mantel, Johannes Schickel

Proceedings of the Secure IT Systems, 2017

Relationship-Based Access Control for Resharing in Decentralized Online Social Networks.

Richard Gay, Jinwei Hu, Heiko Mantel, Sogol Mazaheri

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

A Systematic Study of Cache Side Channels Across AES Implementations.

Heiko Mantel, Alexandra Weber, Boris Köpf

Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 2017

AVR Processors as a Platform for Language-Based Security.

Florian Dewald, Heiko Mantel, Alexandra Weber

Proceedings of the Computer Security - ESORICS 2017, 2017

Taming Message-Passing Communication in Compositional Reasoning About Confidentiality.

Ximeng Li, Heiko Mantel, Markus Tasch

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Scalable offline monitoring of temporal specifications.

David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel

Formal Methods Syst. Des., 2016

2015

An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.

Richard Gay, Heiko Mantel, Henning Sudbrock

Int. J. Secur. Softw. Eng., 2015

Enforcing Usage Constraints on Credentials for Web Applications.

Jinwei Hu, Heiko Mantel, Sebastian Ruhleder

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis.

Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

An Automatic Inference of Minimal Security Types.

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin

Proceedings of the Information Systems Security - 11th International Conference, 2015

Transforming Out Timing Leaks, More or Less.

Heiko Mantel, Artem Starostin

Proceedings of the Computer Security - ESORICS 2015, 2015

Hybrid Monitors for Concurrent Noninterference.

Aslan Askarov, Stephen Chong, Heiko Mantel

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Reliably secure software systems.

Heiko Mantel

it Inf. Technol., 2014

A Formalization of Assumptions and Guarantees for Compositional Noninterference.

Sylvia Grewe, Heiko Mantel, Daniel Schoepe

Arch. Formal Proofs, 2014

A Formalization of Strong Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

A Formalization of Declassification with WHAT-and-WHERE-Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

Scalable Offline Monitoring.

David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel

Proceedings of the Runtime Verification - 5th International Conference, 2014

CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement.

Richard Gay, Jinwei Hu, Heiko Mantel

Proceedings of the Information Systems Security - 10th International Conference, 2014

Noninterference under Weak Memory Models.

Heiko Mantel, Matthias Perner, Jens Sauer

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Cassandra: Towards a Certifying App Store for Android.

Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber

Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, 2014

2012

Scheduler-Independent Declassification.

Alexander Lux, Heiko Mantel, Matthias Perner

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Types vs. PDGs in Information Flow Analysis.

Heiko Mantel, Henning Sudbrock

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Information Flow and Noninterference.

Heiko Mantel

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Service Automata.

Richard Gay, Heiko Mantel, Barbara Sprick

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Assumptions and Guarantees for Compositional Noninterference.

Heiko Mantel, David Sands, Henning Sudbrock

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Flexible Scheduler-Independent Security.

Heiko Mantel, Henning Sudbrock

Proceedings of the Computer Security, 2010

2009

Declassification with Explicit Reference Points.

Alexander Lux, Heiko Mantel

Proceedings of the Computer Security, 2009

2008

Preface.

Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow

J. Autom. Reason., 2008

Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.

Heiko Mantel, Henning Sudbrock

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Who Can Declassify?.

Alexander Lux, Heiko Mantel

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Security of multi-agent systems: A case study on comparison shopping.

Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer

J. Appl. Log., 2007

Transformational typing and unification for automatically correcting insecure programs.

Boris Köpf, Heiko Mantel

Int. J. Inf. Sec., 2007

Controlling the What and Where of Declassification in Language-Based Security.

Heiko Mantel, Alexander Reinhard

Proceedings of the Programming Languages and Systems, 2007

07091 Abstracts Collection - Mobility, Ubiquity and Security.

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld

Proceedings of the Mobility, Ubiquity and Security, 25.02. - 02.03.2007, 2007

07091 Executive Summary - Mobility, Ubiquity and Security.

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld

Proceedings of the Mobility, Ubiquity and Security, 25.02. - 02.03.2007, 2007

Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.

Heiko Mantel, Henning Sudbrock

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Combining Different Proof Techniques for Verifying Information Flow Security.

Heiko Mantel, Henning Sudbrock, Tina Kraußer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005

Preface to the special issue of selected papers from FCS/VERIFY 2002.

Serge Autexier, Iliano Cervesato, Heiko Mantel

Int. J. Inf. Sec., 2005

Eliminating Implicit Information Leaks by Transformational Typing and Unification.

Boris Köpf, Heiko Mantel

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

The framework of selective interleaving functions and the modular assembly kit.

Heiko Mantel

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

Exploiting Generic Aspects of Security Models in Formal Developments.

Heiko Mantel, Axel Schairer

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

A Matrix Characterization for Multiplicative Exponential Linear Logic.

Christoph Kreitz, Heiko Mantel

J. Autom. Reason., 2004

Controlled Declassification Based on Intransitive Noninterference.

Heiko Mantel, David Sands

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

A uniform framework for the formal specification and verification of information flow security.

Heiko Mantel

PhD thesis, 2003

Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.

Dieter Hutter, Heiko Mantel, Axel Schairer

Prax. Inf.verarb. Kommun., 2003

A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.

Heiko Mantel, Andrei Sabelfeld

J. Comput. Secur., 2003

03411 Abstracts Collection - Language Based Security.

Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld

Proceedings of the Language-Based Security, 5.-10. October 2003, 2003

03411 Final Report - Language Based Security.

Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld

Proceedings of the Language-Based Security, 5.-10. October 2003, 2003

2002

On the Composition of Secure Systems.

Heiko Mantel

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Securing Communication in a Concurrent Language.

Andrei Sabelfeld, Heiko Mantel

Proceedings of the Static Analysis, 9th International Symposium, 2002

2001

Preserving Information Flow Properties under Refinement.

Heiko Mantel

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Information Flow Control and Applications - Bridging a Gap.

Heiko Mantel

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

A Generic Approach to the Security of Multi-Threaded Programs.

Heiko Mantel, Andrei Sabelfeld

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

VSE: formal methods meet industrial needs.

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

A case study in the mechanical verification of fault tolerance.

Heiko Mantel, Felix C. Gärtner

J. Exp. Theor. Artif. Intell., 2000

Unwinding Possibilistic Security Properties.

Heiko Mantel

Proceedings of the Computer Security, 2000

Possibilistic Definitions of Security - An Assembly Kit.

Heiko Mantel

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

Towards an Evolutionary Formal Software-Development Using CASL.

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

linTAP: A Tableau Prover for Linear Logic.

Heiko Mantel, Jens Otten

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

System Description: inka 5.0 - A Logic Voyager.

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Proceedings of the Automated Deduction, 1999

1998

Simultaneous Quantifier Elimination.

Serge Autexier, Heiko Mantel, Werner Stephan

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

A Matrix Characterization for MELL.

Heiko Mantel, Christoph Kreitz

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

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

Proceedings of the Applied Formal Methods, 1998

1997

Connection-Based Proof Construction in Linear Logic.

Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt

Proceedings of the Automated Deduction, 1997