Mantel, Heiko ; Schmidt, Joachim ; Schneider, Thomas ; Stillger, Maximilian ; Weißmantel, Tim ; Yalame, Hossein (2024)
HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation.
61st Design Automation Conference (DAC'24). San Francisco, USA (23.06.2024 - 27.06.2024)
Konferenzveröffentlichung, Bibliographie

Edlund, Martin ; Mantel, Heiko ; Weber, Alexandra ; Weißmantel, Tim (2022)
Graphical User Interfaces for a Qualitative and a Quantitative Side-Channel Analysis Tool.
doi: 10.26083/tuprints-00020262
Report, Erstveröffentlichung, Verlagsversion

Weber, Alexandra (2022)
Semantics-Based Cache-Side-Channel Quantification in Cryptographic Implementations.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021208
Dissertation, Erstveröffentlichung, Verlagsversion

Weber, Alexandra ; Nikiforov, Oleg ; Sauer, Alexander ; Schickel, Johannes ; Alber, Gernot ; Mantel, Heiko ; Walther, Thomas (2021)
Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography.
26th European Symposium on Research in Computer Security (ESORICS). virtual Conference (04.10.2021-08.10.2021)
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Weber, Alexandra (2021)
Towards Leakage Bounds for Side Channels based on Caches and Pipelined Executions.
doi: 10.26083/tuprints-00019755
Report, Erstveröffentlichung, Verlagsversion

Mantel, Heiko ; Weißmantel, Tim ; Fischlin, Marc ; Weber, Alexandra (2021)
A Comparative Study of Cache Side Channels across AES Implementations and Modes of Operation.
doi: 10.26083/tuprints-00019753
Report, Erstveröffentlichung, Verlagsversion

Jakobs, Marie-Christine ; Mantel, Heiko
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_6
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Scheidel, Lukas ; Schneider, Thomas ; Weber, Alexandra ; Weinert, Christian ; Weißmantel, Tim (2020)
RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation.
19. International Conference on Cryptology And Network Security (CANS'20). virtual Conference (14.12.2020-16.12.2020)
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Probst, Christian (2019)
On the Meaning and Purpose of Attack Trees.
The 32nd IEEE Computer Security Foundations Symposium (CSF). Hoboken, NJ, USA (25.06.2019-28.06.2019)
Konferenzveröffentlichung, Bibliographie

Dantas, Yuri Gil ; Hamann, Tobias ; Mantel, Heiko (2018)
A Comparative Study across Static and Dynamic Side-Channel Countermeasures.
The 11th International Symposium on Foundations & Practice of Security (FPS). Montreal, Canada (13.11.2018-15.11.2018)
Konferenzveröffentlichung, Bibliographie

Gil Dantas, Yuri ; Hamann, Tobias ; Mantel, Heiko (2018)
A Comparative Study across Static and Dynamic Side-Channel Countermeasures.
In: The 11th International Symposium on Foundations & Practice of Security (FPS)
Artikel, Bibliographie

Dix, Isabella (2018)
A Type System and an Implementation for Detecting the Lucky13 Vulnerability with SPASCA.
Technische Universität Darmstadt
Masterarbeit, Bibliographie

Earley, Timothy (2018)
Extending the Language Coverage of Side-Channel Finder AVR.
Technische Universität Darmstadt
Bachelorarbeit, Bibliographie

Nikiforov, Oleg ; Sauer, Alexander ; Schickel, Johannes ; Weber, Alexandra ; Alber, Gernot ; Mantel, Heiko ; Walther, Thomas (2018)
Side-Channel Analysis of Privacy Amplification in Postprocessing Software for a Quantum Key Distribution System.
Report, Bibliographie

Lemos, Marcilio O. O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek (2018)
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
In: Journal of Logical and Algebraic Methods in Programming, 94
Artikel, Bibliographie

Gil Dantas, Yuri ; Gay, Richard ; Hamann, Tobias ; Mantel, Heiko ; Schickel, Johannes (2018)
An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior.
33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIP SEC).
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Schickel, Johannes ; Weber, Alexandra ; Weber, Friedrich (2018)
How Secure is Green IT? The Case of Software-Based Energy Side Channels.
Proceedings of the 23rd European Symposium on Research in Computer Security (ESORICS).
Konferenzveröffentlichung, Bibliographie

Li, Ximeng ; Mantel, Heiko ; Schickel, Johannes ; Tasch, Markus ; Weber, Alexandra ; Toteva, Iva (2017)
SPASCA: Secure-Programming Assistant and Side-Channel Analyzer.
Report, Bibliographie

Mantel, Heiko ; Schickel, Johannes ; Weber, Alexandra ; Weber, Friedrich (2017)
Vulnerabilities Introduced by Features for Software-based Energy Measurement.
Report, Bibliographie

Cremer, Manuel (2017)
Test Cases for Detecting the Lucky 13 Vulnerability with SPASCA.
Technische Universität Darmstadt
Bachelorarbeit, Bibliographie

Bauereiß, Thomas ; Greiner, Simon ; Herda, Mihai ; Kirsten, Michael ; Li, Ximeng ; Mantel, Heiko ; Mohr, Martin ; Perner, Matthias ; Schneider, David ; Tasch, Markus (2017)
RIFL 1.1: A Common Specification Language for Information-Flow Requirements.
doi: 10.5445/IR/1000092713
Report, Bibliographie

Dantas, Yuri Gil ; Hamann, Tobias ; Mantel, Heiko ; Schickel, Johannes (2017)
An Experimental Study of a Bucketing Approach.
Uppsala, Sweden
Konferenzveröffentlichung, Bibliographie

Pascoal, Túlio A. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek (2017)
Slow TCAM Exhaustion DDoS Attack.
Konferenzveröffentlichung, Bibliographie

Hermann, Ben ; Li, Ximeng ; Mantel, Heiko ; Mezini, Mira ; Tasch, Markus ; Wendel, Florian ; Weber, Friedrich (2017)
Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface.
Report, Bibliographie

Gay, Richard (2017)
A Generic Framework for Enforcing Security in Distributed Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Mantel, Heiko ; Weber, Alexandra ; Köpf, Boris (2017)
A Systematic Study of Cache Side Channels across AES Implementations.
Proceedings of the 9th International Symposium on Engineering Secure Software and Systems (ESSoS).
Konferenzveröffentlichung, Bibliographie

Li, Ximeng ; Mantel, Heiko ; Tasch, Markus (2017)
Taming Message-passing Communication in Compositional Reasoning about Confidentiality.
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS).
Konferenzveröffentlichung, Bibliographie

Gay, Richard ; Hu, Jinwei ; Mantel, Heiko ; Schickel, Johannes (2017)
Towards Accelerated Usage Control based on Access Correlations.
Proceedings of the 22nd Nordic Conference on Secure IT Systems (NordSec).
Konferenzveröffentlichung, Bibliographie

Gay, Richard ; Hu, Jinwei ; Mantel, Heiko ; Mazaheri, Sogol (2017)
Relationship-Based Access Control for Resharing in Decentralized Online Social Networks.
Proceedings of the 10th International Symposium on Foundations & Practice of Security (FPS).
Konferenzveröffentlichung, Bibliographie

Dewald, Florian ; Mantel, Heiko ; Weber, Alexandra (2017)
AVR Processors as a Platform for Language-Based Security.
Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS).
Konferenzveröffentlichung, Bibliographie

Bindel, Nina ; Buchmann, Johannes ; Krämer, Juliane ; Mantel, Heiko ; Schickel, Johannes ; Weber, Alexandra (2017)
Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics.
Proceedings of the 10th International Symposium on Foundations & Practice of Security (FPS).
Konferenzveröffentlichung, Bibliographie

Schmitz, Martin (2016)
Exploring 3D Printed Interaction.
Eindhoven, Netherlands
doi: 10.1145/2839462.2854105
Konferenzveröffentlichung, Bibliographie

Schmitz, Martin ; Khalilbeigi, Mohammadreza ; Balwierz, Matthias ; Lissermann, Roman ; Steimle, Jürgen ; Mühlhäuser, Max (2015)
Capricate: A Fabrication Pipeline to Design and 3D Print Capacitive Touch Sensors for Interactive Objects.
Charlotte, NC, USA
doi: 10.1145/2807442.2807503
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Starostin, Artem (2015)
Transforming Out Timing Leaks, More or Less.
Vienna, Austria
Konferenzveröffentlichung, Bibliographie

Hu, Jinwei ; Mantel, Heiko ; Ruhleder, Sebastian (2015)
Enforcing Usage Constraints on Credentials for Web Applications.
Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC 2015).
Konferenzveröffentlichung, Bibliographie

Bollmann, Dominik ; Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem (2015)
An Automatic Inference of Minimal Security Types.
Konferenzveröffentlichung, Bibliographie

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David (2014)
Cassandra: Towards a Certifying App Store.
Report, Bibliographie

Wachsmann, Christian (2014)
Trusted and Privacy-preserving Embedded Systems: Advances in Design, Analysis and Application of Lightweight Privacy-preserving Authentication and Physical Security Primitives.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Weber, Alexandra (2014)
A Sound Information-Flow Analysis for Cassandra.
Report, Bibliographie

Mantel, Heiko ; Perner, Matthias ; Sauer, Jens (2014)
Noninterference under Weak Memory Models (Progress Report).
Report, Bibliographie

Buchner, Karolina ; Lissermann, Roman ; Holmquist, Lars Erik (2014)
Interaction Techniques for Co-located Collaborative TV.
Konferenzveröffentlichung, Bibliographie

Ereth, Sarah ; Lortz, Steffen ; Perner, Matthias (2014)
Confidentiality for Android Apps: Specification and Verification.
In: it -- Information Technology, 56 (6)
Artikel, Bibliographie

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David ; Weber, Alexandra (2014)
Cassandra: Towards a Certifying App Store for Android.
Konferenzveröffentlichung, Bibliographie

Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; Mantel, Heiko (2014)
Scalable Offline Monitoring.
Proceedings of the 14th International Conference on Runtime Verification (RV). Heidelberg, Germany
Konferenzveröffentlichung, Bibliographie

Lissermann, Roman ; Huber, Jochen ; Hadjakos, Aristotelis ; Nanayakkara, Suranga ; Mühlhäuser, Max (2014)
EarPut: Augmenting Ear-worn Devices for Ear-based Interaction.
doi: 10.1145/2686612.2686655
Konferenzveröffentlichung, Bibliographie

Ereth, Sarah ; Mantel, Heiko ; Perner, Matthias (2014)
Towards a Common Specification Language for Information-Flow Security in RS3 and Beyond: RIFL 1.0 - The Language.
Report, Bibliographie

Gay, Richard ; Mantel, Heiko ; Sudbrock, Henning (2013)
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.
Konferenzveröffentlichung, Bibliographie

Aderhold, Markus ; Kochtchi, Artjom (2013)
Tailoring PMD to Secure Coding.
Report, Bibliographie

Aderhold, Markus ; Gebhardt, Alexander ; Mantel, Heiko (2013)
Choosing a Formalism for Secure Coding: FSM vs. LTL.
Report, Bibliographie

Sudbrock, Henning (2013)
Compositional and Scheduler-Independent Information Flow Security.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Döweling, Sebastian ; Tahiri, Tarik ; Sowinski, Philipp ; Schmidt, Benedikt ; Khalilbeigi, Mohammadreza (2013)
Support for Collaborative Situation Analysis and Planning in Crisis Management Teams using Interactive Tabletops.
doi: 10.1145/2512349.2512823
Konferenzveröffentlichung, Bibliographie

Dezfuli, Niloofar ; Khalilbeigi, Mohammadreza ; Huber, Jochen ; Müller, Florian ; Mühlhäuser, Max (2012)
Leveraging the Palm Surface as an Eyes-free TV Remote Control.
30th ACM Conference on Human Factors in Computing Systems (CHI '12). Austin, USA (05.05.2012-10.05.2012)
doi: 10.1145/2212776.2223823
Konferenzveröffentlichung, Bibliographie

Heinrichs, Felix ; Schreiber, Daniel ; Huber, Jochen ; Mühlhäuser, Max (2012)
Toward a Theory of Interaction in Mobile Paper-Digital Ensembles.
30th ACM Conference on Human Factors in Computing Systems (CHI '12). Austin, USA (05.05.2012-10.05.2012)
doi: 10.1145/2208276.2208328
Konferenzveröffentlichung, Bibliographie

Khalilbeigi, Mohammadreza ; Schmittat, Patrik ; Steimle, Jürgen ; Mühlhäuser, Max (2012)
Occlusion-aware Interaction Techniques for Tabletop Systems.
30th ACM Conference on Human Factors in Computing Systems (CHI '12). Austin, USA (05.05.2012-10.05.2012)
doi: 10.1145/2212776.2223831
Konferenzveröffentlichung, Bibliographie

Huber, Jochen ; Steimle, Jürgen ; Liao, Chunyuan ; Liu, Qiong ; Mühlhäuser, Max (2012)
LightBeam: Nomadic Pico Projector Interaction with Real World Objects.
30th ACM Conference on Human Factors in Computing Systems (CHI '12). Austin, USA (05.05.2012-10.05.2012)
doi: 10.1145/2212776.2223828
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Mantel, Heiko ; Perner, Matthias (2012)
Scheduler-independent Declassifification.
Report, Bibliographie

Huber, Jochen ; Ding, Yun (2012)
Adapting Web Pages Using Graph Partitioning Algorithms for User-Centric Multi-Device Web Browsing.
In: Springer Multimedia Tools and Applications, 51 (3)
doi: 10.1007/s11042-011-0980-1
Artikel, Bibliographie

Kiemes, Tom ; Novelli, Francesco ; Oberle, Daniel
Hrsg.: Barros, Alistair ; Oberle, Daniel (2011)
Service Pricing.
In: Handbook of Service Description
doi: 10.1007/978-1-4614-1864-1_9
Buchkapitel, Bibliographie

Steimle, Jürgen ; Huber, Jochen ; Lukosch, Stephan
Hrsg.: Mühlhäuser, Max ; Sesink, Werner ; Kaminski, Andreas ; Steimle, Jürgen (2011)
Disruptive User Interfaces for Technology-enhanced Learning: a Taxonomy”.
In: IATEL : interdisciplinary approaches to technology-enhanced learning
Buchkapitel, Bibliographie

Gay, Richard ; Mantel, Heiko ; Sprick, Barbara
Hrsg.: TU Darmstadt (2011)
Service Automata.
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Starostin, Artem (2011)
A Tool for Static Detection of Timing Channels in Java.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sands, David ; Sudbrock, Henning (2011)
Assumptions and Guarantees for Compositional Noninterference.
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Starostin, Artem (2010)
Side Channel Finder (Version 1.0).
Anderes, Bibliographie

Gay, Richard ; Mantel, Heiko ; Sprick, Barbara (2010)
Service Automata for Secure Distributed Systems.
Anderes, Bibliographie

Lux, Alexander ; Mantel, Heiko ; Perner, Matthias ; Starostin, Artem (2010)
Side Channel Finder (Version 1.0).
Report, Bibliographie

Huber, Jochen ; Steimle, Jürgen ; Lissermann, Roman ; Olberding, Simon ; Mühlhäuser, Max (2010)
Wipe'n'Watch: Spatial Interaction Techniques for Interrelated Video Collections on Mobile Devices.
24th BCS Interaction Specialist Group Conference. Dundee, United Kingdom (06.09.2010-10.09.2010)
Konferenzveröffentlichung, Bibliographie

Huber, Jochen ; Steimle, Jürgen ; Mühlhäuser, Max (2010)
Interaction Techniques for Mobile E-Lectures.
Atlanta, GA, USA
Konferenzveröffentlichung, Bibliographie

Huber, Jochen ; Steimle, Jürgen ; Mühlhäuser, Max (2010)
Mobile Interaction Techniques for Interrelated Videos.
Atlanta, USA
doi: 10.1145/1753846.1754014
Konferenzveröffentlichung, Bibliographie

Aderhold, Markus
Hrsg.: Esparza, Javier ; Majumdar, Rupak (2010)
Automated Termination Analysis for Programs with Second-Order Recursion.
Konferenzveröffentlichung, Bibliographie

Aderhold, Markus ; Cuéllar, Jorge ; Mantel, Heiko ; Sudbrock, Henning (2010)
Exemplary Formalization of Secure Coding Guidelines.
Report, Bibliographie

Aderhold, Markus
Hrsg.: Esparza, J. ; Majumdar, R. (2010)
Automated Termination Analysis for Programs with Second-Order Recursion.
Konferenzveröffentlichung, Bibliographie

Aderhold, Markus
Hrsg.: Giesl, J. ; Hähnle, R. (2010)
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2010)
Flexible Scheduler-independent Security.
Konferenzveröffentlichung, Bibliographie

Khalilbeigi, Mohammadreza ; Steimle, Jürgen ; Mühlhäuser, Max (2010)
Interaction techniques for hybrid piles of documents on interactive tabletops.
Atlanta, Georgia, USA
doi: 10.1145/1753846.1754083
Konferenzveröffentlichung, Bibliographie

Amann, Sven (2009)
Spezifikation und Codegenerierung von Sicherheitsautomaten.
Technische Universität Darmstadt
Bachelorarbeit, Bibliographie

Lortz, Steffen (2009)
Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten.
Anderes, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
Hrsg.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2009)
Increasing the Precision of the Combining Calculus (Extended Abstract).
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Mantel, Heiko
Hrsg.: Backes, Michael ; Ning, Peng (2009)
Declassification with Explicit Reference Points.
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Mantel, Heiko
Hrsg.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Who Can Declassify?
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2009)
Increasing the Precision of the Combining Calculus (Extended Abstract).
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
Hrsg.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Konferenzveröffentlichung, Bibliographie

Amann, Sven (2009)
Spezifikation und Codegenerierung von Sicherheitsautomaten.
Anderes, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
Hrsg.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Konferenzveröffentlichung, Bibliographie

Gay, Richard (2008)
Interrupt-Related Covert Channels from an Attacker's Perspective.
Rheinisch-Westfälische Technische Hochschule Aachen
Masterarbeit, Bibliographie

Perner, Matthias (2008)
Information Flow Analysis for CIL.
Anderes, Bibliographie

Schneider, Timo (2008)
Fallstudie: Sicherheitsautomat für einen orchestrierten Dienst in einer serviceorientierten Architektur.
Anderes, Bibliographie

Hrsg.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Konferenzveröffentlichung, Bibliographie

Molter, Hans Gregor ; Shao, Hui ; Sudbrock, Henning ; Huss, Sorin A. ; Mantel, Heiko (2008)
Designing a Coprocessor for Interrupt Handling on an FPGA.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2008)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Mantel, Heiko (2008)
Who can declassify?
Konferenzveröffentlichung, Bibliographie

D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara (2008)
The Decidability of Model-Checking Information Flow Properties.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Konferenzveröffentlichung, Bibliographie

D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara (2008)
The Decidability of Model-Checking Information Flow Properties.
Konferenzveröffentlichung, Bibliographie

Gay, Richard (2008)
Interrupt-Related Covert Channels from an Attacker's Perspective.
Rheinisch-Westfälische Technische Hochschule Aachen
Masterarbeit, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2008)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Konferenzveröffentlichung, Bibliographie

Molter, Gregor ; Shao, Hui ; Sudbrock, Henning ; Huss, Sorin ; Mantel, Heiko (2008)
Designing a Coprocessor for Interrupt Handling on an FPGA.
Report, Bibliographie

Kraußer, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie

Hrsg.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew C. ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Hrsg.: Puebla, German (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Reinhard, Alexander
Hrsg.: Nicola, Rocco De (2007)
Controlling the What and Where of Declassification in Language-Based Security.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2007)
Transformational Typing and Unification for Automatically Correcting Insecure Programs.
In: International Journal of Information Security (IJIS)
Artikel, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Artikel, Bibliographie

Hrsg.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Ning, Peng ; Atluri, Vijay ; Gligor, Virgil D. ; Mantel, Heiko (2007)
Proceedings of the ACM Workshop on Formal Methods in Security Engineering : From Specifications to Code (FMSE).
Buch, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Artikel, Bibliographie

Köpf, Boris ; Mantel, Heiko (2007)
Transformational Typing and Unification for Automatically Correcting Insecure Programs.
In: International Journal of Information Security (IJIS)
Artikel, Bibliographie

Krausser, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
Hrsg.: Puebla, Germán (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2007)
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Reinhard, Alexander
Hrsg.: Nicola, Rocco De (2007)
Controlling the What and Where of Declassification in Language-Based Security.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Autexier, Serge ; Mantel, Heiko (2006)
Verify'06: Verification Workshop.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko
Hrsg.: Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Peter Y. A. ; Schneider, Steve (2006)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Hrsg.: Puebla, German (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Reinhard, Alexander (2006)
Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken.
Rheinisch-Westfälische Technische Hochschule Aachen
Masterarbeit, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
Hrsg.: Puebla, Germán (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko
Hrsg.: Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Heiko Y. A. ; Schneider, Steve (2006)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Reinhard, Alexander (2006)
Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken.
Rheinisch-Westfälische Technische Hochschule Aachen
Masterarbeit, Bibliographie

Mantel, Heiko (2005)
The Framework of Selective Interleaving Functions and the Modular Assembly Kit.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (2005)
International Journal of Information Security : Special issue on FCS/Verify 2002.
4 (1-2)
Zeitschriftenheft, -band oder -jahrgang, Bibliographie

Mantel, Heiko ; Schairer, Axel (2005)
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Mechanizing Mathematical Reasoning
Buchkapitel, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Report, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Report, Bibliographie

Mantel, Heiko ; Schairer, Axel (2005)
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Mechanizing Mathematical Reasoning
Buchkapitel, Bibliographie

Mantel, Heiko (2005)
The Framework of Selective Interleaving Functions and the Modular Assembly Kit.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sands, David (2004)
Controlled Declassification based on Intransitive Noninterference.
Konferenzveröffentlichung, Bibliographie

Kreitz, Christoph ; Mantel, Heiko (2004)
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, 32
Artikel, Bibliographie

Kreitz, Christoph ; Mantel, Heiko (2004)
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, 32
Artikel, Bibliographie

Mantel, Heiko ; Sands, David (2004)
Controlled Declassification based on Intransitive Noninterference.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Banerjee, Anindya ; Mantel, Heiko ; Naumann, David ; Sabelfeld, Andrei (2003)
Final Report on Seminar 03411: Language-Based Security.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2003)
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.
In: Journal of Computer Security (JCS), 11 (4)
Artikel, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2003)
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.
In: Journal of Computer Security (JCS), 11 (4)
Artikel, Bibliographie

Mantel, Heiko (2003)
A Uniform Framework for the Formal Specification and Verification of Information Flow Security.
Universität des Saarlandes
Dissertation, Bibliographie

Sabelfeld, Andrei ; Mantel, Heiko (2002)
Static Confidentiality Enforcement for Distributed Programs.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Autexier, Serge ; Mantel, Heiko (2002)
Proceedings of the Verification Workshop (VERIFY'02).
Buch, Bibliographie

Mantel, Heiko (2002)
On the Composition of Secure Systems.
Konferenzveröffentlichung, Bibliographie

Sabelfeld, Andrei ; Mantel, Heiko (2002)
Static Confidentiality Enforcement for Distributed Programs.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf (2001)
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
Report, Bibliographie

Hrsg.: Autexier, Serge ; Mantel, Heiko (2001)
Proceedings of the Verification Workshop (VERIFY'01).
Buch, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2001)
A Generic Approach to the Security of Multi-threaded Programs.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko (2001)
Preserving Information Flow Properties under Refinement.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko
Hrsg.: Olivera, Jose Nuno ; Zave, Pamela (2001)
Information Flow Control and Applications - Bridging a Gap.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2001)
A Generic Approach to the Security of Multi-threaded Programs.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf (2001)
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
Report, Bibliographie

Mantel, Heiko
Hrsg.: Olivera, Jose Nuno ; Zave, Pamela (2001)
Information Flow Control and Applications -- Bridging a Gap.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko (2001)
Preserving Information Flow Properties under Refinement.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12 (4)
Artikel, Bibliographie

Mantel, Heiko (2000)
Unwinding Possibilistic Security Properties.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko (2000)
A new framework for possibilistic security - A summary - ABSTRACT.
Report, Bibliographie

Kreitz, Christoph ; Mantel, Heiko (2000)
A Matrix Characterization for Multiplicative Exponential Linear Logic.
Report, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas (2000)
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, 3 (1)
Artikel, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12 (4)
Artikel, Bibliographie

Kreitz, Christoph ; Mantel, Heiko (2000)
A Matrix Characterization for Multiplicative Exponential Linear Logic.
Report, Bibliographie

Mantel, Heiko (2000)
A new framework for possibilistic security - A summary - ABSTRACT.
Report, Bibliographie

Mantel, Heiko (2000)
Possibilistic Definitions of Security -- An Assembly Kit.
Konferenzveröffentlichung, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel (1999)
System Description: INKA 5.0 -- A Logic Voyager.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Otten, Jens
Hrsg.: Murray, Neil V. (1999)
linTAP: A Tableau Prover for Linear Logic.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (1999)
A Case Study in the Mechanical Verification of Fault Tolerance.
Report, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, Didier ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL: ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99
Buchkapitel, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, D. ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (1999)
A Case Study in the Mechanical Verification of Fault Tolerance.
Report, Bibliographie

Mantel, Heiko ; Kreitz, Christoph
Hrsg.: Dix, Jürgen ; del Cerro, Luis Farinas ; Furbach, Ulrich (1998)
A Matrix Characterization for MELL.
In: Logics in Artificial Intelligence, European Workshop, JELIA '98 : Proceedings
Buchkapitel, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Konferenzveröffentlichung, Bibliographie

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Hrsg.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Konferenzveröffentlichung, Bibliographie

Autexier, Serge ; Mantel, Heiko (1998)
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
Report, Bibliographie

Mantel, Heiko (1998)
Developing a Matrix Characterization for MELL.
Report, Bibliographie

Autexier, Serge ; Mantel, Heiko (1998)
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
Report, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Konferenzveröffentlichung, Bibliographie

Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
Hrsg.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sandner, Enno (1997)
A Framework for Connection Calculi.
Report, Bibliographie

Mantel, Heiko (1996)
Eine Matrixcharakterisierung für ein Fragment der Linearen Logik.
Technische Hochschule Darmstadt
Diplom- oder Magisterarbeit, Bibliographie

Mantel, Heiko (1996)
Eine Matrixcharakterisierung für ein Fragment der Linearen Logik.
Technische Hochschule Darmstadt
Diplom- oder Magisterarbeit, Bibliographie