Heiko Mantel - RankMe

92 papers A* 1A 12B 9C 3Misc 6Journal 20Unranked 35

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. ISoLA (4) Serge Demeyer, Reiner Hähnle, Heiko Mantel
2024	A*	`conf`	HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation. DAC Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weißmantel, Hossein Yalame
2024	J	`jnl`	HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation. IACR Cryptol. ePrint Arch. Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weißmantel, Hossein Yalame
2024	—	`conf`	Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors. ISoLA (4) Maximilian Gehring, Heiko Mantel
2022	—	`conf`	Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) Serge Demeyer, Reiner Hähnle, Heiko Mantel
2022	J	`jnl`	Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS. ACM Trans. Reconfigurable Technol. Syst. Florian Dewald, Johanna Rohde, Christian Hochberger, Heiko Mantel
2021	—	`conf`	Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography. ESORICS (2) Alexandra Weber, Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Gernot Alber, Heiko Mantel, Thomas Walther
2021	J	`jnl`	Design-time performance modeling of compositional parallel programs. Parallel Comput. Fabian Czappa, Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen, Felix Wolf
2021	B	`conf`	Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization. ICPP Jan-Patrick Lehr, Christian H. Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi, Felix Wolf
2020	—	`conf`	A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. ISoLA (2) Marie-Christine Jakobs, Heiko Mantel
2020	—	`conf`	Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. ISoLA (2) Serge Demeyer, Reiner Hähnle, Heiko Mantel
2020	B	`conf`	RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. CANS Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, Tim Weißmantel
2019	—	`conf`	Designing Efficient Parallel Software via Compositional Performance Modeling. ProTools@SC Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen, Felix Wolf
2019	A	`conf`	From Attacker Models to Reliable Security. AsiaCCS Heiko Mantel
2019	A	`conf`	On the Meaning and Purpose of Attack Trees. CSF Heiko Mantel, Christian W. Probst
2018	—	`conf`	A Comparative Study Across Static and Dynamic Side-Channel Countermeasures. FPS Yuri Gil Dantas, Tobias Hamann, Heiko Mantel
2018	—	`conf`	A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. NordSec Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
2018	Misc	`conf`	An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior. SEC Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel
2018	J	`jnl`	An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Arch. Formal Proofs Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
2018	—	`conf`	Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid. FPS Tobias Hamann, Heiko Mantel
2018	—	`conf`	How Secure Is Green IT? The Case of Software-Based Energy Side Channels. ESORICS (1) Heiko Mantel, Johannes Schickel, Alexandra Weber, Friedrich Weber
2017	—	`conf`	A Systematic Study of Cache Side Channels Across AES Implementations. ESSoS Heiko Mantel, Alexandra Weber, Boris Köpf
2017	—	`conf`	AVR Processors as a Platform for Language-Based Security. ESORICS (1) Florian Dewald, Heiko Mantel, Alexandra Weber
2017	—	`conf`	Bounding the Cache-Side-Channel Leakage of Lattice-Based Signature Schemes Using Program Semantics. FPS Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, Alexandra Weber
2017	J	`jnl`	Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics. IACR Cryptol. ePrint Arch. Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, Alexandra Weber
2017	—	`conf`	Relationship-Based Access Control for Resharing in Decentralized Online Social Networks. FPS Richard Gay, Jinwei Hu, Heiko Mantel, Sogol Mazaheri
2017	B	`conf`	Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. APLAS Ximeng Li, Heiko Mantel, Markus Tasch
2017	—	`conf`	Towards Accelerated Usage Control Based on Access Correlations. NordSec Richard Gay, Jinwei Hu, Heiko Mantel, Johannes Schickel
2016	J	`jnl`	Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
2015	Misc	`conf`	An Automatic Inference of Minimal Security Types. ICISS Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin
2015	J	`jnl`	An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. Int. J. Secur. Softw. Eng. Richard Gay, Heiko Mantel, Henning Sudbrock
2015	Misc	`conf`	Enforcing Usage Constraints on Credentials for Web Applications. SEC Jinwei Hu, Heiko Mantel, Sebastian Ruhleder
2015	A	`conf`	Hybrid Monitors for Concurrent Noninterference. CSF Aslan Askarov, Stephen Chong, Heiko Mantel
2015	—	`conf`	Transforming Out Timing Leaks, More or Less. ESORICS (1) Heiko Mantel, Artem Starostin
2015	C	`conf`	Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. LOPSTR Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner
2014	J	`jnl`	A Formalization of Assumptions and Guarantees for Compositional Noninterference. Arch. Formal Proofs Sylvia Grewe, Heiko Mantel, Daniel Schoepe
2014	J	`jnl`	A Formalization of Declassification with WHAT-and-WHERE-Security. Arch. Formal Proofs Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
2014	J	`jnl`	A Formalization of Strong Security. Arch. Formal Proofs Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
2014	—	`conf`	Cassandra: Towards a Certifying App Store for Android. SPSM@CCS Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber
2014	Misc	`conf`	CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement. ICISS Richard Gay, Jinwei Hu, Heiko Mantel
2014	A	`conf`	Noninterference under Weak Memory Models. CSF Heiko Mantel, Matthias Perner, Jens Sauer
2014	J	`jnl`	Reliably secure software systems. it Inf. Technol. Heiko Mantel
2014	B	`conf`	Scalable Offline Monitoring. RV David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
2012	—	`ed.`	6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010 VERIFY@IJCAR Markus Aderhold, Serge Autexier, Heiko Mantel
2012	B	`conf`	Scheduler-Independent Declassification. MPC Alexander Lux, Heiko Mantel, Matthias Perner
2012	C	`conf`	Types vs. PDGs in Information Flow Analysis. LOPSTR Heiko Mantel, Henning Sudbrock
2011	A	`conf`	Assumptions and Guarantees for Compositional Noninterference. CSF Heiko Mantel, David Sands, Henning Sudbrock
2011	—	`ch.`	Information Flow and Noninterference. Encyclopedia of Cryptography and Security (2nd Ed.) Heiko Mantel
2011	—	`conf`	Service Automata. Formal Aspects in Security and Trust Richard Gay, Heiko Mantel, Barbara Sprick
2010	A	`conf`	Flexible Scheduler-Independent Security. ESORICS Heiko Mantel, Henning Sudbrock
2009	A	`conf`	Declassification with Explicit Reference Points. ESORICS Alexander Lux, Heiko Mantel
2008	—	`conf`	Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust Heiko Mantel, Henning Sudbrock
2008	J	`jnl`	Preface. J. Autom. Reason. Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
2008	—	`conf`	Who Can Declassify?. Formal Aspects in Security and Trust Alexander Lux, Heiko Mantel
2007	—	`conf`	07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	—	`conf`	07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	A	`conf`	Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF Heiko Mantel, Henning Sudbrock
2007	A	`conf`	Controlling the What and Where of Declassification in Language-Based Security. ESOP Heiko Mantel, Alexander Reinhard
2007	—	`ed.`	Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	—	`ed.`	Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007 FMSE Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel
2007	J	`jnl`	Security of multi-agent systems: A case study on comparison shopping. J. Appl. Log. Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
2007	J	`jnl`	Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Sec. Boris Köpf, Heiko Mantel
2006	C	`conf`	Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR Heiko Mantel, Henning Sudbrock, Tina Kraußer
2005	—	`conf`	Eliminating Implicit Information Leaks by Transformational Typing and Unification. Formal Aspects in Security and Trust Boris Köpf, Heiko Mantel
2005	—	`conf`	Exploiting Generic Aspects of Security Models in Formal Developments. Mechanizing Mathematical Reasoning Heiko Mantel, Axel Schairer
2005	—	`ed.`	Language-Based Security, 5.-10. October 2003 Language-Based Security Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
2005	J	`jnl`	Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. Serge Autexier, Iliano Cervesato, Heiko Mantel
2005	—	`conf`	The framework of selective interleaving functions and the modular assembly kit. FMSE Heiko Mantel
2004	J	`jnl`	A Matrix Characterization for Multiplicative Exponential Linear Logic. J. Autom. Reason. Christoph Kreitz, Heiko Mantel
2004	B	`conf`	Controlled Declassification Based on Intransitive Noninterference. APLAS Heiko Mantel, David Sands
2003	—	`conf`	03411 Abstracts Collection - Language Based Security. Language Based Security Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
2003	—	`conf`	03411 Final Report - Language Based Security. Language Based Security Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
2003	J	`jnl`	A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. J. Comput. Secur. Heiko Mantel, Andrei Sabelfeld
2003	—	`—`	A uniform framework for the formal specification and verification of information flow security. Heiko Mantel
2003	J	`jnl`	Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. Prax. Inf.verarb. Kommun. Dieter Hutter, Heiko Mantel, Axel Schairer
2002	—	`conf`	On the Composition of Secure Systems. S&P Heiko Mantel
2002	B	`conf`	Securing Communication in a Concurrent Language. SAS Andrei Sabelfeld, Heiko Mantel
2001	—	`conf`	A Generic Approach to the Security of Multi-Threaded Programs. CSFW Heiko Mantel, Andrei Sabelfeld
2001	—	`conf`	Information Flow Control and Applications - Bridging a Gap. FME Heiko Mantel
2001	—	`conf`	Preserving Information Flow Properties under Refinement. S&P Heiko Mantel
2000	Misc	`conf`	A Case Study in the Mechanical Verification of Fault Tolerance. FLAIRS Heiko Mantel, Felix C. Gärtner
2000	J	`jnl`	A case study in the mechanical verification of fault tolerance. J. Exp. Theor. Artif. Intell. Heiko Mantel, Felix C. Gärtner
2000	—	`conf`	Possibilistic Definitions of Security - An Assembly Kit. CSFW Heiko Mantel
2000	A	`conf`	Unwinding Possibilistic Security Properties. ESORICS Heiko Mantel
2000	J	`jnl`	VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
1999	A	`conf`	System Description: inka 5.0 - A Logic Voyager. CADE Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1999	—	`conf`	Towards an Evolutionary Formal Software-Development Using CASL. WADT Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1999	B	`conf`	linTAP: A Tableau Prover for Linear Logic. TABLEAUX Heiko Mantel, Jens Otten
1998	B	`conf`	A Matrix Characterization for MELL. JELIA Heiko Mantel, Christoph Kreitz
1998	Misc	`conf`	Simultaneous Quantifier Elimination. KI Serge Autexier, Heiko Mantel, Werner Stephan
1998	—	`conf`	VSE: Controlling the Complexity in Formal Software Developments. FM-Trends Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	A	`conf`	Connection-Based Proof Construction in Linear Logic. CADE Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt