Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Sebastian Mödersheim Sebastian Alexander Mödersheim ( http://dblp.L3S.de/Authors/Sebastian_Mödersheim )

URL (Homepage):  http://www2.imm.dtu.dk/~samo/  Author page on DBLP  Author page in RDF  Community of Sebastian Mödersheim in ASPL-2

Publication years (Num. hits)
2000-2009 (17) 2010-2012 (11)
Publication types (Num. hits)
article(5) inproceedings(22) proceedings(1)
Venues (Conferences, Journals, ...)
ACM Conference on Computer and...(2) CAV(2) ESORICS(2) Formal Aspects in Security and...(2) LPAR(2) ARES(1) CCSW(1) CSF(1) Electr. Notes Theor. Comput. S...(1) FMCAD(1) FMCO(1) FMICS(1) FOSAD(1) FoSSaCS(1) Future Internet Assembly(1) IACR Cryptology ePrint Archive(1) More (+10 of total 23)
Authors
Sebastian Mödersheim(28) Luca Viganò(15) David A. Basin(9) Mathieu Turuani(4) Paul Hankes Drielsma(4) Alessandro Armando(3) David von Oheimb(3) Luca Compagna(3) Michaël Rusinowitch(3) Yannick Chevalier(3) Birgit Pfitzmann(2) Dieter Sommer(2) Jan Camenisch(2) Jorge Cuéllar(2) Laurent Vigneron(2) Marius Minea(2) More (+10 of total 43)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 14 keywords
Results
Found 28 publication records. Showing 28 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Sebastian Mödersheim, Catuscia Palamidessi (eds.) Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers Search on Bibsonomy TOSCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim, Paolo Modesti Verifying SeVeCom using set-based abstraction. Search on Bibsonomy IWCMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Groß, Sebastian Mödersheim Vertical Protocol Composition. Search on Bibsonomy CSF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Compositional Reasoning, Secure Channels
1Sören Bleikertz, Thomas Groß, Sebastian Mödersheim Automated verification of virtualized infrastructures. Search on Bibsonomy CCSW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò Towards Formal Validation of Trust and Security in the Internet of Services. Search on Bibsonomy Future Internet Assembly The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim, Luca Viganò, David A. Basin Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. Search on Bibsonomy Journal of Computer Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Camenisch, Sebastian Mödersheim, Dieter Sommer A Formal Model of Identity Mixer. Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David von Oheimb, Sebastian Mödersheim ASLan++ - A Formal Security Specification Language for Distributed Systems. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Camenisch, Sebastian Mödersheim, Gregory Neven, Franz-Stefan Preiss, Dieter Sommer A card requirements language enabling privacy-preserving access control. Search on Bibsonomy SACMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF privacy, access control, policy languages, anonymous credentials, digital credentials
1Sebastian Mödersheim Abstraction by set-membership: verifying security protocols and web services with databases. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Achim D. Brucker, Sebastian Mödersheim Integrating Automated and Interactive Protocol Verification. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim, Luca Viganò The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. Search on Bibsonomy FOSAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim Algebraic Properties in Alice and Bob Notation. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim, Luca Viganò Secure Pseudonymous Channels. Search on Bibsonomy ESORICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim On the relationships between models in protocol verification. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2006 DBLP  BibTeX  RDF
1Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin Formalizing and Analyzing Sender Invariance. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Basin, Sebastian Mödersheim, Luca Viganò OFMC: A symbolic model checker for security protocols. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model checking, Verification, Formal methods, Constraints, Security protocols
1Paul Hankes Drielsma, Sebastian Mödersheim The ASW Protocol Revisited: A Unified View. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David A. Basin, Sebastian Mödersheim, Luca Viganò Algebraic Intruder Deductions. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò A Formalization of Off-Line Guessing for Security Protocol Analysis. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Basin, Sebastian Mödersheim, Luca Viganò CDiff: a new reduction technique for constraint-based analysis of security protocols. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2003 DBLP  DOI  BibTeX  RDF constraints, protocol verification, partial-order reduction
1David A. Basin, Sebastian Mödersheim, Luca Viganò An On-the-Fly Model-Checker for Security Protocol Analysis. Search on Bibsonomy ESORICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David A. Basin, Stefan Friedrich, Sebastian Mödersheim B2M: A Semantic Based Tool for BLIF Hardware Descriptions. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #28 of 28 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.