TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 137.

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, Primary publication, Publisher's Version

Czappa, Fabian ; Calotoiu, Alexandru ; Höhl, Thomas ; Mantel, Heiko ; Nguyen, Toni ; Wolf, Felix (2021)
Design-Time Performance Modeling of Compositional Parallel Programs.
In: Parallel Computing, 108
doi: 10.1016/j.parco.2021.102839
Article, Bibliographie

Lehr, Jan-Patrick ; Bischof, Christian ; Dewald, Florian ; Mantel, Heiko ; Norouzi, Mohammad ; Wolf, Felix (2021)
Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization.
50th International Conference on Parallel Processing (ICPP 2021). virtual Conference (09.-12.08.2021)
doi: 10.1145/3472456.3472521
Conference or Workshop Item, Bibliographie

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.-08.2021)
Conference or Workshop Item, Bibliographie

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, Primary publication, Publisher's Version

Mantel, Heiko ; Weber, Alexandra (2021)
Towards Leakage Bounds for Side Channels based on Caches and Pipelined Executions.
doi: 10.26083/tuprints-00019755
Report, Primary publication, Publisher's Version

Jakobs, Marie-Christine ; Mantel, Heiko
eds.: 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.-30.10.)
doi: 10.1007/978-3-030-61470-6_6
Conference or Workshop Item, 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.-16.12.)
Conference or Workshop Item, 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 (Jun 25, 2019 - Jun 28, 2019)
Conference or Workshop Item, 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, 14 and 15 November 2018)
Conference or Workshop Item, 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)
Article, Bibliographie

Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus (2018)
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018
Article, 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

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).
Conference or Workshop Item, 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).
Conference or Workshop Item, 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

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
Conference or Workshop Item, 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

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).
Conference or Workshop Item, 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).
Conference or Workshop Item, 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).
Conference or Workshop Item, Bibliographie

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).
Conference or Workshop Item, 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).
Conference or Workshop Item, 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).
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Starostin, Artem (2015)
Transforming Out Timing Leaks, More or Less.
Vienna, Austria
Conference or Workshop Item, Bibliographie

Askarov, Aslan ; Chong, Stephen ; Mantel, Heiko (2015)
Hybrid Monitors for Concurrent Noninterference.
Verona, Italy
doi: 10.1109/CSF.2015.17
Conference or Workshop Item, Bibliographie

Bollmann, Dominik ; Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem (2015)
An Automatic Inference of Minimal Security Types.
Conference or Workshop Item, 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).
Conference or Workshop Item, Bibliographie

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

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

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

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David ; Weber, Alexandra (2014)
Cassandra: Towards a Certifying App Store for Android.
Conference or Workshop Item, 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
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

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

Mantel, Heiko ; Sudbrock, Henning (2013)
Types vs. PDGs in Information Flow Analysis.
In: Lecture Notes in Computer Science, (7844)
Article, Bibliographie

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

Gay, Richard ; Mantel, Heiko ; Sprick, Barbara
ed.: TU Darmstadt (2011)
Service Automata.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sands, David ; Sudbrock, Henning (2011)
Assumptions and Guarantees for Compositional Noninterference.
Conference or Workshop Item, Bibliographie

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

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

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

Mantel, Heiko ; Sudbrock, Henning (2010)
Flexible Scheduler-independent Security.
Conference or Workshop Item, Bibliographie

Lux, Alexander ; Mantel, Heiko
eds.: Backes, Michael ; Ning, Peng (2009)
Declassification with Explicit Reference Points.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2009)
Increasing the Precision of the Combining Calculus (Extended Abstract).
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2009)
Increasing the Precision of the Combining Calculus (Extended Abstract).
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Lux, Alexander ; Mantel, Heiko
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Who Can Declassify?
Conference or Workshop Item, Bibliographie

Molter, Gregor ; Shao, Hui ; Sudbrock, Henning ; Huss, Sorin ; Mantel, Heiko (2008)
Designing a Coprocessor for Interrupt Handling on an FPGA.
Report, 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.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2008)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

eds.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Conference or Workshop Item, Bibliographie

eds.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Conference or Workshop Item, Bibliographie

Lux, Alexander ; Mantel, Heiko (2008)
Who can declassify?
Conference or Workshop Item, Bibliographie

Kraußer, 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
ed.: Puebla, Germán (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
ed.: Puebla, German (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2007)
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Reinhard, Alexander
ed.: Nicola, Rocco De (2007)
Controlling the What and Where of Declassification in Language-Based Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Reinhard, Alexander
ed.: Nicola, Rocco De (2007)
Controlling the What and Where of Declassification in Language-Based Security.
Conference or Workshop Item, Bibliographie

eds.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Conference or Workshop Item, Bibliographie

eds.: 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.
Conference or Workshop Item, Bibliographie

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

eds.: 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).
Book, 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
Article, 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
Article, Bibliographie

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

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

eds.: Autexier, Serge ; Mantel, Heiko (2006)
Verify'06: Verification Workshop.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
ed.: Puebla, German (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

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

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
ed.: Puebla, Germán (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

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

Mantel, Heiko (2005)
The Framework of Selective Interleaving Functions and the Modular Assembly Kit.
Conference or Workshop Item, Bibliographie

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

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

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Conference or Workshop Item, 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.
Report, Bibliographie

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

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

Mantel, Heiko (2005)
The Framework of Selective Interleaving Functions and the Modular Assembly Kit.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sands, David (2004)
Controlled Declassification based on Intransitive Noninterference.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sands, David (2004)
Controlled Declassification based on Intransitive Noninterference.
Conference or Workshop Item, Bibliographie

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

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

eds.: Banerjee, Anindya ; Mantel, Heiko ; Naumann, David ; Sabelfeld, Andrei (2003)
Final Report on Seminar 03411: Language-Based Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko (2003)
A Uniform Framework for the Formal Specification and Verification of Information Flow Security.
Universität des Saarlandes
Ph.D. Thesis, 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)
Article, 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)
Article, Bibliographie

Sabelfeld, Andrei ; Mantel, Heiko (2002)
Static Confidentiality Enforcement for Distributed Programs.
Conference or Workshop Item, Bibliographie

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

Mantel, Heiko (2002)
On the Composition of Secure Systems.
Conference or Workshop Item, Bibliographie

Sabelfeld, Andrei ; Mantel, Heiko (2002)
Static Confidentiality Enforcement for Distributed Programs.
Conference or Workshop Item, 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 ; Sabelfeld, Andrei (2001)
A Generic Approach to the Security of Multi-threaded Programs.
Conference or Workshop Item, Bibliographie

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

Mantel, Heiko (2001)
Preserving Information Flow Properties under Refinement.
Conference or Workshop Item, Bibliographie

Mantel, Heiko
eds.: Olivera, Jose Nuno ; Zave, Pamela (2001)
Information Flow Control and Applications - Bridging a Gap.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sabelfeld, Andrei (2001)
A Generic Approach to the Security of Multi-threaded Programs.
Conference or Workshop Item, Bibliographie

Mantel, Heiko
eds.: Olivera, Jose Nuno ; Zave, Pamela (2001)
Information Flow Control and Applications -- Bridging a Gap.
Conference or Workshop Item, Bibliographie

Mantel, Heiko (2001)
Preserving Information Flow Properties under Refinement.
Conference or Workshop Item, 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 ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
Conference or Workshop Item, 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)
Article, Bibliographie

Mantel, Heiko (2000)
Unwinding Possibilistic Security Properties.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
Conference or Workshop Item, Bibliographie

Mantel, Heiko (2000)
A new framework for possibilistic security - A summary - ABSTRACT.
Report, 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)
Article, Bibliographie

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

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

Mantel, Heiko (2000)
Possibilistic Definitions of Security -- An Assembly Kit.
Conference or Workshop Item, 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)
Article, Bibliographie

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

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel (1999)
System Description: INKA 5.0 -- A Logic Voyager.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Otten, Jens
ed.: Murray, Neil V. (1999)
linTAP: A Tableau Prover for Linear Logic.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Gärtner, Felix (1999)
A Case Study in the Mechanical Verification of Fault Tolerance.
Report, 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
eds.: Bert, D. ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
eds.: 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
Book Section, Bibliographie

Mantel, Heiko ; Kreitz, Christoph
eds.: 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
Book Section, 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.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
eds.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Conference or Workshop Item, 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

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.
Conference or Workshop Item, Bibliographie

Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
ed.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Conference or Workshop Item, 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
Diploma Thesis or Magisterarbeit, Bibliographie

Mantel, Heiko (1996)
Eine Matrixcharakterisierung für ein Fragment der Linearen Logik.
Technische Hochschule Darmstadt
Diploma Thesis or Magisterarbeit, Bibliographie

This list was generated on Tue Mar 5 00:41:21 2024 CET.