Deutsch

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

Dantas, Yuri Gil ; Hamann, Tobias ; Mantel, Heiko ; Schickel, Johannes (2017)
An Experimental Study of a Bucketing Approach.
Uppsala, Sweden
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

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

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

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

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

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

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

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 ; 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, 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

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

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

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

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

Lux, Alexander ; Mantel, Heiko (2008)
Who can declassify?
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

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

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

Reinhard, Alexander (2006)
Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken.
Rheinisch-Westfälische Technische Hochschule Aachen
Masterarbeit, 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

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 (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 (2000)
Unwinding Possibilistic Security Properties.
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

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Hrsg.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Konferenzveröffentlichung, 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 (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

Englisch

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Perner, Matthias (2008)
Information Flow Analysis for CIL.
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

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

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

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

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

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

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

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
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.
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12 (4)
Artikel, 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

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 (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

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