Heiko Mantel Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Lux, Heiko Mantel: Declassification with Explicit Reference Points. ESORICS 2009: 69-85
2008
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Lux, Heiko Mantel: Who Can Declassify?. Formal Aspects in Security and Trust 2008: 35-49
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Henning Sudbrock: Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust 2008: 67-81
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow: Preface. J. Autom. Reasoning 41(3-4): 191-192 (2008)
2007
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng 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
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Henning Sudbrock: Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF 2007: 326-340
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Alexander Reinhard: Controlling the What and Where of Declassification in Language-Based Security. ESOP 2007: 141-156
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Köpf, Heiko Mantel: Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Sec. 6(2-3): 107-131 (2007)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Henning Sudbrock, Tina Kraußer: Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR 2006: 94-110
2005
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: Language-Based Security, 5.-10. October 2003 IBFI, Schloss Dagstuhl, Germany 2005
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel: The framework of selective interleaving functions and the modular assembly kit. FMSE 2005: 53-62
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Köpf, Heiko Mantel: Eliminating Implicit Information Leaks by Transformational Typing and Unification. Formal Aspects in Security and Trust 2005: 47-62
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Axel Schairer: Exploiting Generic Aspects of Security Models in Formal Developments. Mechanizing Mathematical Reasoning 2005: 452-475
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, David Sands: Controlled Declassification Based on Intransitive Noninterference. APLAS 2004: 129-145
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Kreitz, Heiko Mantel: A Matrix Characterization for Multiplicative Exponential Linear Logic. J. Autom. Reasoning 32(2): 121-166 (2004)
2003
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel: On the Composition of Secure Systems. IEEE Symposium on Security and Privacy 2002: 88-
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Sabelfeld, Heiko Mantel: Securing Communication in a Concurrent Language. SAS 2002: 376-394
2001
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Andrei Sabelfeld: A Generic Approach to the Security of Multi-Threaded Programs. CSFW 2001: 126-
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel: Information Flow Control and Applications - Bridging a Gap. FME 2001: 153-172
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel: Preserving Information Flow Properties under Refinement. IEEE Symposium on Security and Privacy 2001: 78-
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel: Possibilistic Definitions of Security - An Assembly Kit. CSFW 2000: 185-199
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel: Unwinding Possibilistic Security Properties. ESORICS 2000: 238-254
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Felix C. Gärtner: A Case Study in the Mechanical Verification of Fault Tolerance. FLAIRS Conference 2000: 341-345
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Jens Otten: linTAP: A Tableau Prover for Linear Logic. TABLEAUX 1999: 217-231
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Mantel, Christoph Kreitz: A Matrix Characterization for MELL. JELIA 1998: 169-183
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Heiko Mantel, Werner Stephan: Simultaneous Quantifier Elimination. KI 1998: 141-152
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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 (Alexander Reinhard) [33] [39] [40]
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]
23Georg Rock [4] [8]
24Andrei Sabelfeld [15] [16] [18] [19] [20] [27] [31] [32] [35]
25David Sands [22]
26Ina Schaefer [29]
27Axel Schairer [5] [7] [8] [24] [29]
28Gerhard Schellhorn [4]
29Stephan Schmitt [1]
30Kurt Stenzel [4]
31Werner Stephan [2] [4] [8]
32Henning Sudbrock [28] [34] [38]
33Roland Vogt [8]
34Andreas Wolpers [4] [8]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)