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

Sebastian Mödersheim

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

2008
12EESebastian Mödersheim: On the relationships between models in protocol verification. Inf. Comput. 206(2-4): 291-311 (2008)
2006
11EEMichael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS 2006: 428-445
10EEPaul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin: Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust 2006: 80-95
2005
9EEAlessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
8EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: Algebraic Intruder Deductions. LPAR 2005: 549-564
7EEPaul Hankes Drielsma, Sebastian Mödersheim: The ASW Protocol Revisited: A Unified View. Electr. Notes Theor. Comput. Sci. 125(1): 145-161 (2005)
6EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3): 181-208 (2005)
2004
5EEPaul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò: A Formalization of Off-Line Guessing for Security Protocol Analysis. LPAR 2004: 363-379
2003
4EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: CDiff: a new reduction technique for constraint-based analysis of security protocols. ACM Conference on Computer and Communications Security 2003: 335-344
3EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS 2003: 253-270
2002
2EEAlessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353
2000
1EEDavid A. Basin, Stefan Friedrich, Sebastian Mödersheim: B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD 2000: 91-107

Coauthor Index

1Alessandro Armando [2] [9]
2Michael Backes [11]
3David A. Basin [1] [2] [3] [4] [6] [8] [9] [10]
4Yohan Boichut [9]
5Mehdi Bouallagui [2]
6Yannick Chevalier [2] [9]
7Luca Compagna [2] [9]
8Jorge Cuéllar [9]
9Paul Hankes Drielsma [5] [7] [9] [10]
10Stefan Friedrich [1]
11Pierre-Cyrille Héam [9]
12Olga Kouchnarenko [9]
13Jacopo Mantovani [9]
14David von Oheimb [9]
15Birgit Pfitzmann [11]
16Michaël Rusinowitch [2] [9]
17Judson Santiago [9]
18Mathieu Turuani [2] [9]
19Luca Viganò [2] [3] [4] [5] [6] [8] [9] [10] [11]
20Laurent Vigneron [2] [9]

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