Publications by Heiko Mantel
These documents have been provided by the contributing authors as a means
to ensure timely dissemination of scholarly and technical work on a noncommercial basis.
Copyright and all rights therein are retained by authors or by other copyright holders.
All persons copying this information are expected to adhere to the terms and constraints
invoked by each author's copyright. These works may not be reposted without the explicit
permission of the copyright holder.
2024
- Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weißmantel and Hossein Yalame. HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation. In Proceedings of the 61st Design Automation Conference (DAC), 2024. (to appear).
[ BibTeX entry ]
2022
- Serge Demeyer, Reiner Hähnle and Heiko Mantel. Automating Software Re-engineering - Introduction to the ISoLA 2022 Track. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA), pages 195-200. Springer, 2022.
[ BibTeX entry ] - Florian Dewald, Johanna Rohde, Christian Hochberger and Heiko Mantel. Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS. In ACM Transactions on Reconfigurable Technology and Systems, 2022.
[ BibTeX entry | URL ] - Martin Edlund, Heiko Mantel, Alexandra Weber and Tim Weißmantel. Graphical User Interfaces for a Qualitative and a Quantitative Side-Channel Analysis Tool. TU Darmstadt, Technical Report, 2022.
[ BibTeX entry | URL ] - Heiko Mantel. Information Flow and Noninterference. In Encyclopedia of Cryptography and Security (3rd Ed.), 2022. (to appear).
[ BibTeX entry ] - Heiko Mantel. Information Flow Policies. In Encyclopedia of Cryptography and Security (3rd Ed.), 2022. (to appear).
[ BibTeX entry ]
2021
- Fabian Czappa, Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen and Felix Wolf. Design-Time Performance Modeling of Compositional Parallel Programs. In Parallel Computing, Elsevier, 2021.
[ BibTeX entry | URL ] - Jan-Patrick Lehr, Christian Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi and Felix Wolf. Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization. In International Conference on Parallel Processing (ICPP), 2021.
[ BibTeX entry | URL ] - Heiko Mantel and Alexandra Weber. Towards Leakage Bounds for Side Channels based on Caches and Pipelined Executions. TU Darmstadt, Technical Report, 2021.
[ BibTeX entry | URL ] - Heiko Mantel, Tim Weißmantel, Marc Fischlin and Alexandra Weber. A Comparative Study of Cache Side Channels across AES Implementations and Modes of Operation. TU Darmstadt, Technical Report, 2021.
[ BibTeX entry | URL ] - Alexandra Weber, Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Gernot Alber, Heiko Mantel and Thomas Walther. Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography. In Proceedings of the 26th European Symposium on Research in Computer Security (ESORICS), 2021.
[ BibTeX entry | PDF ]
2020
- Serge Demeyer, Reiner Hähnle and Heiko Mantel. Automating Software Re-engineering, Introduction to the ISoLA 2020 Track. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2020.
[ BibTeX entry ] - Marie-Christine Jakobs and Heiko Mantel. A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2020.
[ BibTeX entry | PDF ] - Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert and Tim Weißmantel. RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. In International Conference on Cryptology and Network Security (CANS), 2020.
[ BibTeX entry | PDF ]
2019
- Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen and Felix Wolf. Designing Efficient Parallel Software via Compositional Performance Modeling. In Proceedings of the 1st Workshop on Programming and Performance Visualization Tools (ProTools 19), 2019.
[ BibTeX entry | PDF ] - Heiko Mantel. From Attacker Models to Reliable Security. In Proceedings of the 14th ACM ASIA Conference on Computer and Communications Security (ASIACCS), pages 547-548, 2019.
[ BibTeX entry | PDF ] - Heiko Mantel and Christian Probst. On the Meaning and Purpose of Attack Trees. In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF), pages 184-199, 2019.
[ BibTeX entry | PDF ]
2018
- Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. In Archive of Formal Proofs, 2018.
[ BibTeX entry ] - Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel and Johannes Schickel. An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior. In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIP SEC), pages 323-338, 2018.
[ BibTeX entry | PDF ] - Yuri Gil Dantas, Tobias Hamann and Heiko Mantel. A Comparative Study across Static and Dynamic Side-Channel Countermeasures. In Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS), pages 173-189, 2018.
[ BibTeX entry | PDF ] - Florian Dewald, Heiko Mantel and Alexandra Weber. Poster: Side-Channel Finder for AVR. Poster at the 20th International Conference on Cryptographic Hardware and Embedded Systems (CHES), 2018.
[ BibTeX entry | PDF ] - Sylvia Grewe, Heiko Mantel, Markus Tasch, Richard Gay and Henning Sudbrock. I-MAKS A Framework for Information-Flow Security in Isabelle/HOL. TU Darmstadt, Technical Report TUD-CS-2018-0056, 2018.
[ BibTeX entry | PDF ] - Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider and Markus Tasch. A Uniform Information-Flow-Security Benchmark Suite for Source Code and Bytecode. In Proceedings of the 23nd Nordic Conference on Secure IT Systems (NordSec), pages 437-453, 2018.
[ BibTeX entry | PDF ] - Tobias Hamann and Heiko Mantel. Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid. In Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS), pages 29-45, 2018.
[ BibTeX entry | PDF ] - Heiko Mantel, Johannes Schickel, Alexandra Weber and Friedrich Weber. How Secure is Green IT? The Case of Software-Based Energy Side Channels. In Proceedings of the 23rd European Symposium on Research in Computer Security (ESORICS), pages 218-239, 2018.
[ BibTeX entry | PDF ] - Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Alexandra Weber, Gernot Alber, Heiko Mantel and Thomas Walther. Side-Channel Analysis of Privacy Amplification in Postprocessing Software for a Quantum Key Distribution System. TU Darmstadt, Technical Report TUD-CS-2018-0024, 2018.
[ BibTeX entry | PDF ]
2017
- Thomas Bauereiß, Simon Greiner, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider and Markus Tasch. RIFL 1.1: A Common Specification Language for Information-Flow Requirements. TU Darmstadt, Technical Report TUD-CS-2017-0225, 2017.
[ BibTeX entry | PDF ] - Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel and Alexandra Weber. Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics. Cryptology ePrint Archive, Technical Report, 2017. http://eprint.iacr.org/2017/951.
[ BibTeX entry | PDF ] - Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel and Alexandra Weber. Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics. In Proceedings of the 10th International Symposium on Foundations & Practice of Security (FPS), pages 225-241, 2017.
[ BibTeX entry | PDF ] - Yuri Gil Dantas, Tobias Hamann, Heiko Mantel and Johannes Schickel. An Experimental Study of a Bucketing Approach (Extended Abstract). In Proceedings of the 15th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), 2017.
[ BibTeX entry ] - Florian Dewald, Heiko Mantel and Alexandra Weber. AVR Processors as a Platform for Language-Based Security. In Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS), pages 427-445, 2017.
[ BibTeX entry | PDF ] - Richard Gay, Jinwei Hu, Heiko Mantel and Sogol Mazaheri. Relationship-Based Access Control for Resharing in Decentralized Online Social Networks. In Proceedings of the 10th International Symposium on Foundations & Practice of Security (FPS), pages 18-34, 2017.
[ BibTeX entry | PDF ] - Richard Gay, Jinwei Hu, Heiko Mantel and Johannes Schickel. Towards Accelerated Usage Control based on Access Correlations. In Proceedings of the 22nd Nordic Conference on Secure IT Systems (NordSec), pages 245-261, 2017.
[ BibTeX entry | PDF ] - Ben Hermann, Ximeng Li, Heiko Mantel, Mira Mezini, Markus Tasch and Florian Wendel. Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface. TU Darmstadt, Technical Report TUD-CS-2017-0025, 2017.
[ BibTeX entry | PDF ] - Ximeng Li, Heiko Mantel, Johannes Schickel, Markus Tasch, Iva Toteva and Alexandra Weber. SPASCA: Secure-Programming Assistant and Side-Channel Analyzer. TU Darmstadt, Technical Report TUD-CS-2017-0303, 2017.
[ BibTeX entry | PDF ] - Ximeng Li, Heiko Mantel and Markus Tasch. Taming Message-passing Communication in Compositional Reasoning about Confidentiality. In Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), pages 45-66, 2017.
[ BibTeX entry | PDF ] - Heiko Mantel, Johannes Schickel, Alexandra Weber and Friedrich Weber. Vulnerabilities Introduced by Features for Software-based Energy Measurement. TU Darmstadt, Technical Report, 2017.
[ BibTeX entry | PDF ] - Heiko Mantel, Alexandra Weber and Boris Köpf. A Systematic Study of Cache Side Channels across AES Implementations. In Proceedings of the 9th International Symposium on Engineering Secure Software and Systems (ESSoS), pages 213-230, 2017.
[ BibTeX entry | PDF ]
2016
- Steven Arzt, Alexandre Bartel, Richard Gay, Steffen Lortz, Enrico Lovat, Heiko Mantel, Martin Mohr, Benedikt Nordhoff, Matthias Perner, Siegfried Rasthofer, David Schneider, Gregor Snelting, Artem Starostin and Alexandra Weber. Software Security for Mobile Devices. Poster at the 25th USENIX Security Symposium, 2016.
[ BibTeX entry ] - David Basin, Germano Caronni, Sarah Ereth, Matus Harvan, Felix Klaedtke and Heiko Mantel. Scalable Offline Monitoring of Temporal Specifications. In Formal Methods in System Design 49 (1-2), pages 75-108, 2016.
[ BibTeX entry ] - Thomas Bauereiss, Abhishek Bichhawat, Iulia Bolosteanu, Peter Faymonville, Bernd Finkbeiner, Deepak Garg, Richard Gay, Sergey Grebenshchikov, Christian Hammer, Dieter Hutter, Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Vineet Rajani, Helmut Seidl, Markus Tasch and Leander Tentrup. Security in Web-Based Workflows. Poster at the 25th USENIX Security Symposium, 2016.
[ BibTeX entry ] - Daniel Bruns, Huy Quoc Do, Simon Greiner, Mihai Herda, Martin Mohr, Enrico Scapin, Tomasz Truderung, Bernhard Beckert, Ralf Küsters, Heiko Mantel and Richard Gay. Security in E-Voting. Poster at the 25th USENIX Security Symposium, 2016.
[ BibTeX entry ] - Steffen Lortz, Heiko Mantel, David Schneider, Artem Starostin, Timo Bähr and Alexandra Weber. Certifying the Security of Android Applications with Cassandra. Work-in-Progress Report at the 25th USENIX Security Symposium, 2016.
[ BibTeX entry | Abstract ]
2015
- Steven Arzt, Alexandre Bartel, Richard Gay, Steffen Lortz, Enrico Lovat, Heiko Mantel, Martin Mohr, Benedikt Nordhoff, Matthias Perner, Siegfried Rasthofer, David Schneider, Gregor Snelting, Artem Starostin and Alexandra Weber. Software Security for Mobile Devices. Poster at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
[ BibTeX entry | Abstract ] - Aslan Askarov, Stephen Chong and Heiko Mantel. Hybrid Monitors for Concurrent Noninterference. In Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), pages 137-151. IEEE Computer Society, 2015.
[ BibTeX entry | PDF ] - Thomas Bauereiss, Abhishek Bichhawat, Iulia Bolosteanu, Peter Faymonville, Bernd Finkbeiner, Deepak Garg, Richard Gay, Sergey Grebenshchikov, Christian Hammer, Dieter Hutter, Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Vineet Rajani, Helmut Seidl, Markus Tasch and Leander Tentrup. Security in Web-Based Workflows. Poster at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
[ BibTeX entry | Abstract ] - Daniel Bruns, Huy Quoc Do, Simon Greiner, Mihai Herda, Martin Mohr, Enrico Scapin, Tomasz Truderung, Bernhard Beckert, Ralf Küsters, Heiko Mantel and Richard Gay. Security in E-Voting. Poster at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
[ BibTeX entry | Abstract ] - Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin. An Automatic Inference of Minimal Security Types. In Proceedings of the 11th International Conference on Information Systems Security (ICISS), pages 395-415, 2015.
[ BibTeX entry | PDF ] - Richard Gay, Heiko Mantel and Henning Sudbrock. An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. In International Journal of Secure Software Engineering (IJSSE), 6(2), pages 1-22, 2015.
[ BibTeX entry ] - Jinwei Hu, Heiko Mantel and Sebastian Ruhleder. Enforcing Usage Constraints on Credentials for Web Applications. In Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC), pages 112-125. Springer, 2015.
[ BibTeX entry | PDF ] - Steffen Lortz, Heiko Mantel, David Schneider, Artem Starostin, Timo Bähr and Alexandra Weber. Certifying the Security of Android Applications with Cassandra. Short Talk at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
[ BibTeX entry | Abstract ] - Heiko Mantel, Markus Müller-Olm, Matthias Perner and Alexander Wenner. Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. In Post-Proceedings of the 25th Logic-Based Program Synthesis and Transformation (LOPSTR), pages 201-217. Springer, 2015.
[ BibTeX entry | PDF ] - Heiko Mantel, Markus Müller-Olm, Matthias Perner and Alexander Wenner. Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. In Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2015.
[ BibTeX entry | PDF ] - Heiko Mantel and Artem Starostin. Transforming Out Timing Leaks, More or Less. In Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS) - Part I, pages 447-467. Springer, 2015.
[ BibTeX entry | PDF ]
2014
- David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel. Scalable Offline Monitoring. In Proceedings of the 14th International Conference on Runtime Verification (RV), pages 31-47, 2014.
[ BibTeX entry | PDF ] - Sarah Ereth, Heiko Mantel and Matthias Perner. Towards a Common Specification Language for Information-Flow Security in RS3 and Beyond: RIFL 1.0 - The Language. TU Darmstadt, Technical Report TUD-CS-2014-0115, 2014.
[ BibTeX entry | PDF ] - Richard Gay, Jinwei Hu and Heiko Mantel. CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement. In Proceedings of the 10th International Conference on Information Systems Security (ICISS). LNCS 8880, pages 378-398. Springer, 2014.
[ BibTeX entry | PDF ] - Richard Gay, Jinwei Hu and Heiko Mantel. Coordinating Distributed Security Enforcement. Short Talk at the 27th IEEE Computer Security Foundations Symposium (CSF), 2014.
[ BibTeX entry | Abstract ] - Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer. A Formalization of Strong Security. In Archive of Formal Proofs, 2014. http://afp.sf.net/entries/Strong_Security.shtml, Formal proof development.
[ BibTeX entry ] - Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer. A Formalization of Declassification with WHAT-and-WHERE-Security. In Archive of Formal Proofs, 2014. http://afp.sf.net/entries/WHATandWHERE_Security.shtml, Formal proof development.
[ BibTeX entry ] - Sylvia Grewe, Heiko Mantel and Daniel Schoepe. A Formalization of Assumptions and Guarantees for Compositional Noninterference. In Archive of Formal Proofs, 2014. http://afp.sf.net/entries/SIFUM_Type_Systems.shtml, Formal proof development.
[ BibTeX entry ] - Steffen Lortz, Heiko Mantel, Artem Starostin and Alexandra Weber. A Sound Information-Flow Analysis for Cassandra. TU Darmstadt, Technical Report TUD-CS-2014-0064, 2014.
[ BibTeX entry | PDF ] - Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr and David Schneider. Cassandra: Towards a Certifying App Store. TU Darmstadt, Technical Report TUD-CS-2014-0117, 2014.
[ BibTeX entry | PDF ] - Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider and Alexandra Weber. Cassandra: Towards a Certifying App Store for Android. In Proceedings of the 4th ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), pages 93-104. ACM, 2014.
[ BibTeX entry | PDF ] - Heiko Mantel, Matthias Perner and Jens Sauer. Noninterference under Weak Memory Models (Progress Report). TU Darmstadt, Technical Report TUD-CS-2014-0062, 2014.
[ BibTeX entry | PDF ] - Heiko Mantel, Matthias Perner and Jens Sauer. Noninterference under Weak Memory Models. In Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF), pages 80-94. IEEE Computer Society, 2014.
[ BibTeX entry | PDF ] - Heiko Mantel, Matthias Perner and Jens Sauer. Noninterference under Weak Memory Models. In Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF), pages 80-94. IEEE Computer Society, 2014.
[ BibTeX entry | PDF ] - Heiko Mantel (Ed.). Special Issue: Reliably Secure Software Systems. it - Information Technology 56(6), De Gruyter, 2014.
[ BibTeX entry | URL ]
2013
- Markus Aderhold, Alexander Gebhardt and Heiko Mantel. Choosing a Formalism for Secure Coding: FSM vs. LTL. TU Darmstadt, Technical Report TUD-CS-2013-0180, 2013.
[ BibTeX entry | PDF ] - Richard Gay, Heiko Mantel and Henning Sudbrock. An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. In Proceedings of the 2nd International Workshop on Quantitative Aspects in Security Assurance (QASA), 2013.
[ BibTeX entry | PDF ] - Matúš Harvan, David Basin, Germano Caronni, Sarah Ereth, Felix Klaedtke and Heiko Mantel. Checking System Compliance by Slicing and Monitoring Logs. ETH Zurich, Technical Report 791, 2013.
[ BibTeX entry | PDF ] - Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Post-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2012). LNCS 7844, pages 106-121. Springer, 2013.
[ BibTeX entry | PDF | Addendum ]
2012
- Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Post-Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011). LNCS 7140, pages 148-163. Springer, 2012.
[ BibTeX entry | PDF | Proofs ] - Alexander Lux, Heiko Mantel and Matthias Perner. Scheduler-Independent Declassification. TU Darmstadt, Technical Report TUD-CS-2012-0061, 2012.
[ BibTeX entry | PDF ] - Alexander Lux, Heiko Mantel and Matthias Perner. Scheduler-Independent Declassification. In Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC). LNCS 7342, pages 25-47. Springer, 2012.
[ BibTeX entry | PDF ] - Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Pre-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2012), 2012.
[ BibTeX entry ] - Markus Aderhold, Serge Autexier and Heiko Mantel (Ed.). Proceedings of the 6th International Verification Workshop (VERIFY 2010). EPiC Series in Computer Science, Vol. 3, 2012. Workshop in connection with the Federated Logic Conference (FLoC 2010).
[ BibTeX entry ]
2011
- Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Pre-Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011), 2011.
[ BibTeX entry | PDF | Proofs ] - Heiko Mantel. Information Flow and Noninterference. In Encyclopedia of Cryptography and Security (2nd Ed.), pages 605-607, 2011.
[ BibTeX entry ] - Heiko Mantel, David Sands and Henning Sudbrock. Assumptions and Guarantees for Compositional Noninterference. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF), pages 218-232. IEEE Computer Society, 2011.
[ BibTeX entry | PDF | Proofs and Addendum ]
2010
- Markus Aderhold, Jorge Cuéllar, Heiko Mantel and Henning Sudbrock. Exemplary Formalization of Secure Coding Guidelines. TU Darmstadt, Technical Report TUD-CS-2010-0060, 2010.
[ BibTeX entry | PDF ] - Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata for Secure Distributed Systems. Poster at the 26th Annual Computer Security Applications Conference (ACSAC), 2010.
[ BibTeX entry | Poster Proposal ] - Alexander Lux, Heiko Mantel, Matthias Perner and Artem Starostin. Side Channel Finder (Version 1.0). TU Darmstadt, Technical Report TUD-CS-2010-0155, 2010.
[ BibTeX entry | PDF ] - Heiko Mantel. Sicherheitsgarantien zuverlässig nachweisen. In forschen(2), pages 66-70, 2010.
[ BibTeX entry ] - Heiko Mantel and Henning Sudbrock. Flexible Scheduler-Independent Security. In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS). LNCS 6345, pages 116-133. Springer, 2010.
[ BibTeX entry | PDF | Proofs of Theorems ]
2009
- Alexander Lux and Heiko Mantel. Who Can Declassify? In Post-Proceedings of the 5th Workshop on Formal Aspects in Security and Trust (FAST 2008). LNCS, 5491, pages 35-49. Springer, 2009.
[ BibTeX entry | PDF ] - Alexander Lux and Heiko Mantel. Declassification with Explicit Reference Points. In Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS). LNCS, 5789, pages 69-85. Springer, 2009.
[ BibTeX entry | PDF ] - Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Post-Proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008). LNCS 5491, pages 67-81. Springer, 2009.
[ BibTeX entry | PDF | Appendix ] - Heiko Mantel and Henning Sudbrock. Increasing the Precision of the Combining Calculus (Extended Abstract). In Proceedings of the 5th International Workshop on Programming Language Interference and Dependence (PLID), 2009.
[ BibTeX entry ]
2008
- Alexander Lux and Heiko Mantel. Who Can Declassify? In Pre-Proceedings of the 5th Workshop on Formal Aspects in Security and Trust (FAST 2008), pages 35-49, 2008.
[ BibTeX entry | PDF ] - Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Pre-Proceedings of the 5th Workshop on Formal Aspects in Security and Trust (FAST 2008), pages 67-81, 2008.
[ BibTeX entry | PDF ] - H. Gregor Molter, Hui Shao, Henning Sudbrock, Sorin A. Huss and Heiko Mantel. Designing a Coprocessor for Interrupt Handling on an FPGA. TU Darmstadt, Technical Report TUD-CS-2008-1103, 2008.
[ BibTeX entry | PDF ] - Serge Autexier, Heiko Mantel, Stephan Merz and Tobias Nipkow (Ed.). Special Issue on Formal Modeling and Verification of Critical Systems. Journal of Automated Reasoning 41(3-4), Springer, 2008.
[ BibTeX entry | URL ]
2007
- Dieter Hutter, Heiko Mantel, Ina Schaefer and Axel Schairer. Security of Multi-agent Systems: A Case Study on Comparison Shopping. In Journal of Applied Logic (JAL), 5(2), pages 303-332, 2007.
[ BibTeX entry ] - Boris Köpf and Heiko Mantel. Transformational Typing and Unification for Automatically Correcting Insecure Programs. In International Journal of Information Security (IJIS), 6(2-3), pages 107-131, 2007.
[ BibTeX entry ] - Tina Kraußer, Heiko Mantel and Henning Sudbrock. A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption. RWTH Aachen, Technical Report 2007-09, 2007.
[ BibTeX entry ] - Heiko Mantel and Alexander Reinhard. Controlling the What and Where of Declassification in Language-Based Security. In Proceedings of the 16th European Symposium on Programming (ESOP). LNCS, 4421, pages 141-156. Springer, 2007.
[ Abstract | BibTeX entry | PDF ] - Heiko Mantel and Henning Sudbrock. Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. In Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF), pages 326-340. IEEE Computer Society, 2007.
[ Abstract | BibTeX entry | PDF ] - Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In Post-Proceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2006). LNCS, 4407, pages 94-110. Springer, 2007.
[ Abstract | BibTeX entry | PDF ] - Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers and Andrei Sabelfeld (Ed.). Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security. Dagstuhl, 2007.
[ BibTeX entry ] - Virgil D. Gligor and Heiko Mantel (Ed.). Proceedings of the ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE). 2007.
[ BibTeX entry ]
2006
- Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In Pre-Proceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2006), pages 85-101, 2006.
[ Abstract | BibTeX entry | PDF | zipped Postscript ] - Boris Köpf and Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. In Post-Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST 2005). LNCS, 3866, pages 47-62. Springer, 2006.
[ BibTeX entry | URL ] - Serge Autexier and Heiko Mantel (Ed.). Proceedings of the Verification Workshop (VERIFY 2006). FLoC, 2006. Workshop in connection with Federated Logic Conference, FLoC'06.
[ BibTeX entry | URL ]
2005
- Boris Köpf and Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. In Pre-Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST 2005), pages 45-60, 2005.
[ BibTeX entry | URL | PDF | zipped Postscript ] - Boris Köpf and Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. ETH Zürich, Technical Report 498, 2005.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel. The Framework of Selective Interleaving Functions and the Modular Assembly Kit. In Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), pages 53-62. ACM, 2005.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel and Axel Schairer. Exploiting Generic Aspects of Security Models in Formal Developments. In Mechanizing Mathematical Reasoning. LNCS 2605, pages 129-145, Springer, 2005.
[ BibTeX entry | URL ] - Serge Autexier, Iliano Cervesato and Heiko Mantel (Ed.). Special Issue on FCS/Verify 2002. International Journal for Information Security 4(1-2), Springer, 2005.
[ BibTeX entry | URL ]
2004
- Christoph Kreitz and Heiko Mantel. A Matrix Characterization for Multiplicative Exponential Linear Logic. In Journal of Automated Reasoning (JAR), 32(2), pages 121-166, 2004.
[ BibTeX entry ] - Heiko Mantel and David Sands. Controlled Declassification based on Intransitive Noninterference. In Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems (APLAS). LNCS 3302, pages 129-145. Springer, 2004.
[ BibTeX entry | PDF | zipped Postscript ]
2003
- Heiko Mantel. A Uniform Framework for the Formal Specification and Verification of Information Flow Security. Ph.D. Thesis, Universität des Saarlandes, 2003.
[ BibTeX entry | PDF ] - Heiko Mantel and Andrei Sabelfeld. A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. In Journal of Computer Security (JCS), 11(4), pages 615-676, 2003.
[ BibTeX entry ] - Anindya Banerjee, Heiko Mantel, David Naumann and Andrei Sabelfeld (Ed.). Final Report on Seminar 03411: Language-Based Security. Dagstuhl, 2003.
[ BibTeX entry ]
2002
- Heiko Mantel. On the Composition of Secure Systems. In Proceedings of the 23rd IEEE Symposium on Security and Privacy (S&P), pages 88-101. IEEE Computer Society, 2002.
[ Abstract | BibTeX entry | PDF | zipped Postscript ] - Andrei Sabelfeld and Heiko Mantel. Static Confidentiality Enforcement for Distributed Programs. In Proceedings of the 9th International Static Analysis Symposium (SAS). LNCS 2477, pages 376-394. Springer, 2002.
[ BibTeX entry | PDF | zipped Postscript ] - Serge Autexier and Heiko Mantel (Ed.). Proceedings of the Verification Workshop (VERIFY'02). DIKU, 2002. Workshop in connection with Federated Logic Conference, FLoC'02.
[ BibTeX entry | URL ]
2001
- Heiko Mantel. Information Flow Control and Applications - Bridging a Gap. In Proceedings of the 10th International Symposium of Formal Methods Europe (FME). LNCS 2021, pages 153-172. Springer, 2001.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel. Preserving Information Flow Properties under Refinement. In Proceedings of the 22nd IEEE Symposium on Security and Privacy (S&P), pages 78-91. IEEE Computer Society, 2001.
[ Abstract | BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel and Andrei Sabelfeld. A Generic Approach to the Security of Multi-threaded Programs. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW), pages 126-142. IEEE Computer Society, 2001.
[ Abstract | BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer and Alf Zugenmaier. Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks. Institut für Informatik, Universität Freiburg, Technical Report 159, 2001.
[ BibTeX entry | PDF | zipped Postscript ] - Serge Autexier and Heiko Mantel (Ed.). Proceedings of the Verification Workshop (VERIFY'01). Università degli Studi di Siena, 2001. Workshop in connection with International Joint Conference on Automated Reasoning, IJCAR'01.
[ BibTeX entry ]
2000
- Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt and Andreas Wolpers. VSE: Formal Methods Meet Industrial Needs. In International Journal on Software Tools for Technology Transfer (STTT), 3(1), pages 66-77, 2000.
[ BibTeX entry ] - Christoph Kreitz and Heiko Mantel. A Matrix Characterization for Multiplicative Exponential Linear Logic. Cornell University, Technical Report, 2000. Revised version appeared in 2004 in Journal of Automated Reasoning.
[ BibTeX entry ] - Heiko Mantel. Possibilistic Definitions of Security - An Assembly Kit. In Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW), pages 185-199. IEEE Computer Society, 2000.
[ Abstract | BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel. Unwinding Possibilistic Security Properties. In European Symposium on Research in Computer Security (ESORICS). LNCS 1895, pages 238-254. Springer, 2000.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel. A new framework for possibilistic security - A summary - ABSTRACT. IEEE Symposium on Security and Privacy, Technical Report, 2000. The full paper appeared in 2000 at CSFW.
[ BibTeX entry ] - Heiko Mantel and Felix Gärtner. A Case Study in the Mechanical Verification of Fault Tolerance. In Proceedings of the 13th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pages 341-345. AAAI Press, 2000.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel and Felix Gärtner. A Case Study in the Mechanical Verification of Fault Tolerance. In Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12(4), pages 473-488, 2000.
[ BibTeX entry ]
1999
- Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer. System Description: INKA 5.0 - A Logic Voyager. In Proceedings of the 16th International Conference on Automated Deduction (CADE). LNAI 1632, pages 207-211. Springer, 1999.
[ BibTeX entry | PDF | zipped Postscript ] - Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer. Towards an Evolutionary Formal Software-Development Using CASL (Abstract). In Proceedings of the 14th International Workshop on Algebraic Development Techniques (WADT). LNCS, 1827, pages 73-88. Springer, 1999.
[ BibTeX entry | PDF | zipped Postscript ] - Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer. Towards an Evolutionary Formal Software-Development Using CASL. In Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France, September 15-18, 1999, Selected Papers, 1999.
[ BibTeX entry ] - Heiko Mantel and Felix Gärtner. A Case Study in the Mechanical Verification of Fault Tolerance. TU Darmstadt, Technical Report TUD-BS-1999-08, 1999.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel and Jens Otten. linTAP: A Tableau Prover for Linear Logic. In Proceedings of the 8th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). LNAI 1617, pages 217-231. Springer, 1999.
[ BibTeX entry | PDF | zipped Postscript ]
1998
- Serge Autexier and Heiko Mantel. Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus. University of Saarbrücken, Technical Report SR-98-05, 1998.
[ BibTeX entry | PDF | zipped Postscript ] - Serge Autexier, Heiko Mantel and Werner Stephan. Simultaneous Quantifier Elimination. In Proceedings of the 22nd German Conference on Artificial Intelligence (KI). LNAI 1504, pages 141-152. Springer, 1998.
[ BibTeX entry | PDF | zipped Postscript ] - Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. VSE: Controlling the Complexity in Formal Software Developments. In Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends). LNCS 1641, pages 351-358. Springer, 1998.
[ BibTeX entry ] - Heiko Mantel. Developing a Matrix Characterization for MELL. DFKI, Technical Report RR-98-03, 1998.
[ BibTeX entry | URL ] - Heiko Mantel and Christoph Kreitz. A Matrix Characterization for MELL. In Proceedings of the 5th European Workshop on Logics in Artificial Intelligence (JELIA). LNAI 1489, pages 169-183. Springer, 1998.
[ BibTeX entry ]
1997
- Christoph Kreitz, Heiko Mantel, Jens Otten and Stephan Schmitt. Connection-Based Proof Construction in Linear Logic. In Proceedings of the 14th International Conference on Automated Deduction (CADE). LNAI 1249, pages 207-221. Springer, 1997.
[ BibTeX entry | PDF | zipped Postscript ] - Heiko Mantel and Enno Sandner. A Framework for Connection Calculi. Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Computer Science Departement, Dresden University of Technology, Technical Report, 1997.
[ BibTeX entry | PDF | zipped Postscript ]
1996
- Heiko Mantel. Eine Matrixcharakterisierung für ein Fragment der Linearen Logik. Diploma Thesis, TU Darmstadt, 1996.
[ BibTeX entry ]
142 hits found
BibTeX file of all entries
BibTeX file of all entries
Print
Imprint
Sitemap
Contact