dblp.uni-trier.dewww.uni-trier.de

Heiko Mantel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
39EEAlexander Lux, Heiko Mantel: Who Can Declassify?. Formal Aspects in Security and Trust 2008: 35-49
38EEHeiko Mantel, Henning Sudbrock: Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust 2008: 67-81
37EESerge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow: Preface. J. Autom. Reasoning 41(3-4): 191-192 (2008)
2007
36 Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007 ACM 2007
35 Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
34EEHeiko Mantel, Henning Sudbrock: Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF 2007: 326-340
33EEHeiko Mantel, Alexander Reinhard: Controlling the What and Where of Declassification in Language-Based Security. ESOP 2007: 141-156
32EEGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
31EEGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
30EEBoris Köpf, Heiko Mantel: Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Sec. 6(2-3): 107-131 (2007)
29EEDieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer: Security of multi-agent systems: A case study on comparison shopping. J. Applied Logic 5(2): 303-332 (2007)
2006
28EEHeiko Mantel, Henning Sudbrock, Tina Kraußer: Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR 2006: 94-110
2005
27 Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: Language-Based Security, 5.-10. October 2003 IBFI, Schloss Dagstuhl, Germany 2005
26EEHeiko Mantel: The framework of selective interleaving functions and the modular assembly kit. FMSE 2005: 53-62
25EEBoris Köpf, Heiko Mantel: Eliminating Implicit Information Leaks by Transformational Typing and Unification. Formal Aspects in Security and Trust 2005: 47-62
24EEHeiko Mantel, Axel Schairer: Exploiting Generic Aspects of Security Models in Formal Developments. Mechanizing Mathematical Reasoning 2005: 452-475
23EESerge Autexier, Iliano Cervesato, Heiko Mantel: Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. 4(1-2): 1 (2005)
2004
22EEHeiko Mantel, David Sands: Controlled Declassification Based on Intransitive Noninterference. APLAS 2004: 129-145
21EEChristoph Kreitz, Heiko Mantel: A Matrix Characterization for Multiplicative Exponential Linear Logic. J. Autom. Reasoning 32(2): 121-166 (2004)
2003
20EEAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
19EEAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
18 Heiko Mantel, Andrei Sabelfeld: A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. Journal of Computer Security 11(4): 615-676 (2003)
2002
17EEHeiko Mantel: On the Composition of Secure Systems. IEEE Symposium on Security and Privacy 2002: 88-
16EEAndrei Sabelfeld, Heiko Mantel: Securing Communication in a Concurrent Language. SAS 2002: 376-394
2001
15EEHeiko Mantel, Andrei Sabelfeld: A Generic Approach to the Security of Multi-Threaded Programs. CSFW 2001: 126-
14EEHeiko Mantel: Information Flow Control and Applications - Bridging a Gap. FME 2001: 153-172
13EEHeiko Mantel: Preserving Information Flow Properties under Refinement. IEEE Symposium on Security and Privacy 2001: 78-
2000
12EEHeiko Mantel: Possibilistic Definitions of Security - An Assembly Kit. CSFW 2000: 185-199
11EEHeiko Mantel: Unwinding Possibilistic Security Properties. ESORICS 2000: 238-254
10 Heiko Mantel, Felix C. Gärtner: A Case Study in the Mechanical Verification of Fault Tolerance. FLAIRS Conference 2000: 341-345
9 Heiko Mantel, Felix C. Gärtner: A case study in the mechanical verification of fault tolerance. J. Exp. Theor. Artif. Intell. 12(4): 473-487 (2000)
8EESerge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)
1999
7EESerge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211
6 Heiko Mantel, Jens Otten: linTAP: A Tableau Prover for Linear Logic. TABLEAUX 1999: 217-231
5 Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88
1998
4 Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: VSE: Controlling the Complexity in Formal Software Developments. FM-Trends 1998: 351-358
3EEHeiko Mantel, Christoph Kreitz: A Matrix Characterization for MELL. JELIA 1998: 169-183
2 Serge Autexier, Heiko Mantel, Werner Stephan: Simultaneous Quantifier Elimination. KI 1998: 141-152
1997
1 Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt: Connection-Based Proof Construction in Linear Logic. CADE 1997: 207-221

Coauthor Index

1Vijayalakshmi Atluri (Vijay Atluri) [36]
2Serge Autexier [2] [5] [7] [8] [23] [37]
3Michael Balser [4]
4Anindya Banerjee [19] [20] [27]
5Gilles Barthe [31] [32] [35]
6Iliano Cervesato [23]
7Felix C. Freiling (Felix C. Gärtner) [9] [10]
8Virgil D. Gligor [36]
9Dieter Hutter [4] [5] [7] [8] [29]
10Boris Köpf [25] [30]
11Tina Kraußer [28]
12Christoph Kreitz [1] [3] [21]
13Bruno Langenstein [8]
14Alexander Lux [39]
15Stephan Merz [37]
16Peter Müller [31] [32] [35]
17Andrew C. Myers [31] [32] [35]
18David A. Naumann [19] [20] [27]
19Peng Ning [36]
20Tobias Nipkow [37]
21Jens Otten [1] [6]
22Wolfgang Reif [4]
23Alexander Reinhard [33]
24Georg Rock [4] [8]
25Andrei Sabelfeld [15] [16] [18] [19] [20] [27] [31] [32] [35]
26David Sands [22]
27Ina Schaefer [29]
28Axel Schairer [5] [7] [8] [24] [29]
29Gerhard Schellhorn [4]
30Stephan Schmitt [1]
31Kurt Stenzel [4]
32Werner Stephan [2] [4] [8]
33Henning Sudbrock [28] [34] [38]
34Roland Vogt [8]
35Andreas Wolpers [4] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)