Sebastian Mdersheim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
11
Active years
2000–2019
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ESORICS | Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy. | Sbastien Gondron, Sebastian Mdersheim |
| 2015 | ACSAC | Proactive Security Analysis of Changes in Virtualized Infrastructures. | Sren Bleikertz, Carsten Vogel, Thomas Gro, Sebastian Mdersheim |
| 2015 | ESORICS | Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. | Omar Saad Almousa, Sebastian Mdersheim, Paolo Modesti, Luca Vigan |
| 2014 | CCS | Sufficient conditions for vertical composition of security protocols. | Sebastian Mdersheim, Luca Vigan |
| 2013 | LPAR | Defining Privacy Is Supposed to Be Easy. | Sebastian Mdersheim, Thomas Gro, Luca Vigan |
| 2012 | ESORICS | Deciding Security for a Fragment of ASLan. | Sebastian Mdersheim |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | CCS | Automated verification of virtualized infrastructures. | Sren Bleikertz, Thomas Gro, Sebastian Mdersheim |
| 2011 | IWCMC | Verifying SeVeCom using set-based abstraction. | Sebastian Mdersheim, Paolo Modesti |
| 2010 | CCS | Abstraction by set-membership: verifying security protocols and web services with databases. | Sebastian Mdersheim |
| 2010 | FMICS | A Formal Model of Identity Mixer. | Jan Camenisch, Sebastian Mdersheim, Dieter Sommer |
| 2010 | SACMAT | A card requirements language enabling privacy-preserving access control. | Jan Camenisch, Sebastian Mdersheim, Gregory Neven, Franz-Stefan Preiss, Dieter Sommer |
| 2009 | ESORICS | Secure Pseudonymous Channels. | Sebastian Mdersheim, Luca Vigan |
| 2006 | FOSSACS | Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. | Michael Backes, Sebastian Mdersheim, Birgit Pfitzmann, Luca Vigan |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | LPAR | Algebraic Intruder Deductions. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2004 | LPAR | A Formalization of Off-Line Guessing for Security Protocol Analysis. | Paul Hankes Drielsma, Sebastian Mdersheim, Luca Vigan |
| 2003 | CCS | CDiff: a new reduction technique for constraint-based analysis of security protocols. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2003 | ESORICS | An On-the-Fly Model-Checker for Security Protocol Analysis. | David A. Basin, Sebastian Mdersheim, Luca Vigan |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2000 | FMCAD | B2M: A Semantic Based Tool for BLIF Hardware Descriptions. | David A. Basin, Stefan Friedrich, Sebastian Mdersheim |