default search action

combined dblp search
author search
venue search
publication search

ask others

Sebastian Mödersheim

Sebastian Alexander Mödersheim

> Home > Persons

Person information

affiliation: Technical University of Denmark

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FernetMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FernetMV24
Laouen Fernet, Sebastian Mödersheim, Luca Viganò:
A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. CSF 2024: 17-32
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/openidentity/ModersheimC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/ModersheimC24
Sebastian Mödersheim, Siyu Chen:
Accountable Banking Transactions. Open Identity Summit 2024: 51-60
2023
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/HessMB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/HessMB23
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker:
Stateful Protocol Composition in Isabelle/HOL. ACM Trans. Priv. Secur. 26(3): 25:1-25:36 (2023)
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/openidentity/FernetM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/FernetM23
Laouen Fernet, Sebastian Mödersheim:
Private Authentication with Alpha-Beta Privacy. Open Identity Summit 2023
2022
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GondronMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GondronMV22
Sébastien Gondron, Sebastian Mödersheim, Luca Viganò:
Privacy as Reachability. CSF 2022: 130-146
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Modersheim22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Modersheim22
Sebastian Mödersheim:
Rewriting Privacy. WRLA@ETAPS 2022: 22-41
[e5]
- view
- export record
  dblp key:
  - conf/openidentity/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/2022
Heiko Roßnagel, Christian H. Schunck, Sebastian Mödersheim:
Open Identity Summit 2022, Copenhagen, Denmark, July 7-8, 2022. LNI P-325, Gesellschaft für Informatik e.V. 2022, ISBN 978-3-88579-719-7 [contents]
2021
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/TangeMLFD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/TangeMLFD21
Koen Tange, Sebastian Mödersheim, Apostolos Lalos, Xenofon Fafoutis, Nicola Dragoni:
rTLS: Secure and Efficient TLS Session Resumption for the Internet of Things. Sensors 21(19): 6524 (2021)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniCGMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniCGMS21
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann:
Security Protocols as Choreographies. Protocols, Strands, and Logic 2021: 98-111
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ModersheimC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ModersheimC21
Sebastian Mödersheim, Jorge Cuéllar:
Three Branches of Accountability. Protocols, Strands, and Logic 2021: 293-311
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GondronM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GondronM21
Sébastien Gondron, Sebastian Mödersheim:
Vertical Composition and Sound Payload Abstraction for Stateful Protocols. CSF 2021: 1-16
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HessMBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HessMBS21
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull:
Performing Security Proofs of Stateful Protocols. CSF 2021: 1-16
[c45]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/openidentity/AlberMMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/AlberMMS21
Lukas Alber, Stefan More, Sebastian Mödersheim, Anders Schlichtkrull:
Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World. Open Identity Summit 2021: 107-118
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/FernetM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/FernetM21
Laouen Fernet, Sebastian Mödersheim:
Deciding a Fragment of (α , β )-Privacy. STM 2021: 122-142
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2021guttman
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2021guttman
Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul D. Rowe:
Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science 13066, Springer 2021, ISBN 978-3-030-91630-5 [contents]
[e3]
- view
- export record
  dblp key:
  - conf/openidentity/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/2021
Heiko Roßnagel, Christian H. Schunck, Sebastian Mödersheim:
Open Identity Summit 2021, Copenhagen, Denmark, June 1-2, 2021. LNI P-312, Gesellschaft für Informatik e.V. 2021, ISBN 978-3-88579-706-7 [contents]
2020
[j8]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/HessMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HessMB20
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker:
Stateful Protocol Composition and Typing. Arch. Formal Proofs 2020 (2020)
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/HessMBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HessMBS20
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull:
Automated Stateful Protocol Verification. Arch. Formal Proofs 2020 (2020)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/GuttmanM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/GuttmanM20
Joshua D. Guttman, Sebastian Mödersheim:
HotSpot: Hot Issues in Security Principles and Trust 2020. EuroS&P Workshops 2020: 260
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/openidentity/SchlichtkrullM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/SchlichtkrullM20
Anders Schlichtkrull, Sebastian Mödersheim:
Accountable Trust Decisions: A Semantic Approach. Open Identity Summit 2020: 71-82
[e2]
- view
- export record
  dblp key:
  - conf/openidentity/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/2020
Heiko Roßnagel, Christian H. Schunck, Sebastian Mödersheim, Detlef Hühnlein:
Open Identity Summit 2020, 26-27 May, 2020, Copenhagen, Denmark. LNI P-305, Gesellschaft für Informatik e.V. 2020, ISBN 978-3-88579-699-2 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/ModersheimV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/ModersheimV18
Sebastian Mödersheim, Luca Viganò:
Alpha-Beta Privacy. ACM Trans. Priv. Secur. 22(1): 7:1-7:35 (2019)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/GondronM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/GondronM19
Sébastien Gondron, Sebastian Mödersheim:
Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy. ESORICS (1) 2019: 535-555
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ifiptm/ModersheimSWMA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifiptm/ModersheimSWMA19
Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber:
TPL: A Trust Policy Language. IFIPTM 2019: 209-223
[c39]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/openidentity/ModersheimN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/openidentity/ModersheimN19
Sebastian Alexander Mödersheim, Bihang Ni:
GTPL: A Graphical Trust Policy Language. Open Identity Summit 2019: 107-118
2018
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HessM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HessM18
Andreas V. Hess, Sebastian Mödersheim:
A Typing Result for Stateful Protocols. CSF 2018: 374-388
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/HessMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/HessMB18
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker:
Stateful Protocol Composition. ESORICS (1) 2018: 427-446
2017
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HessM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HessM17
Andreas Viktor Hess, Sebastian Mödersheim:
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. CSF 2017: 451-463
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/BugliesiCMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/BugliesiCMM16
Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti:
Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30: 46-63 (2016)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/post/ModersheimB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ModersheimB16
Sebastian Mödersheim, Alessandro Bruni:
AIF-ω: Set-Based Protocol Abstraction with Countable Families. POST 2016: 233-253
2015
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/BleikertzVGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/BleikertzVGM15
Sören Bleikertz, Carsten Vogel, Thomas Groß, Sebastian Mödersheim:
Proactive Security Analysis of Changes in Virtualized Infrastructures. ACSAC 2015: 51-60
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlmousaMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlmousaMV15
Omar Almousa, Sebastian Mödersheim, Luca Viganò:
Alice and Bob: Reconciling Formal Models and Implementation. Programming Languages with Applications to Biology and Security 2015: 66-85
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BruniMNN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BruniMNN15
Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson:
Set-Pi: Set Membership p-Calculus. CSF 2015: 185-198
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/AlmousaMMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/AlmousaMMV15
Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò:
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) 2015: 209-229
2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/X14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/X14
Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang:
Foundational aspects of security. J. Comput. Secur. 22(2): 201-202 (2014)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ModersheimV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ModersheimV14
Sebastian Mödersheim, Luca Viganò:
Sufficient conditions for vertical composition of security protocols. AsiaCCS 2014: 435-446
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ModersheimK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ModersheimK14
Sebastian Mödersheim, Georgios Katsoris:
A Sound Abstraction of the Parsing Problem. CSF 2014: 259-273
2013
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/ModersheimGV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ModersheimGV13
Sebastian Mödersheim, Thomas Groß, Luca Viganò:
Defining Privacy Is Supposed to Be Easy. LPAR 2013: 619-635
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/MauroFMD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/MauroFMD13
Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni:
Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs. NordSec 2013: 1-16
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/ModersheimNN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ModersheimNN13
Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson:
Lazy Mobile Intruders. POST 2013: 147-166
2012
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/Modersheim12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Modersheim12
Sebastian Mödersheim:
Deciding Security for a Fragment of ASLan. ESORICS 2012: 127-144
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12
Alessandro 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. TACAS 2012: 267-282
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/tosca/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tosca/2011
Sebastian Mödersheim, Catuscia Palamidessi:
Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Lecture Notes in Computer Science 6993, Springer 2012, ISBN 978-3-642-27374-2 [contents]
2011
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BleikertzGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BleikertzGM11
Sören Bleikertz, Thomas Groß, Sebastian Mödersheim:
Automated verification of virtualized infrastructures. CCSW 2011: 47-58
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GrossM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GrossM11
Thomas Groß, Sebastian Mödersheim:
Vertical Protocol Composition. CSF 2011: 235-250
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fia/CarboneMMPTV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fia/CarboneMMPTV11
Roberto 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. Future Internet Assembly 2011: 193-208
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Modersheim11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Modersheim11
Sebastian Mödersheim:
Diffie-Hellman without Difficulty. Formal Aspects in Security and Trust 2011: 214-229
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcmc/ModersheimM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcmc/ModersheimM11
Sebastian Mödersheim, Paolo Modesti:
Verifying SeVeCom using set-based abstraction. IWCMC 2011: 1164-1169
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/ModersheimVB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/ModersheimVB10
Sebastian Mödersheim, Luca Viganò, David A. Basin:
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. J. Comput. Secur. 18(4): 575-618 (2010)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Modersheim10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Modersheim10
Sebastian Mödersheim:
Abstraction by set-membership: verifying security protocols and web services with databases. CCS 2010: 351-360
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/OheimbM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/OheimbM10
David von Oheimb, Sebastian Mödersheim:
ASLan++ - A Formal Security Specification Language for Distributed Systems. FMCO 2010: 1-22
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CamenischMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CamenischMS10
Jan Camenisch, Sebastian Mödersheim, Dieter Sommer:
A Formal Model of Identity Mixer. FMICS 2010: 198-214
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/CamenischMNPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/CamenischMNPS10
Jan Camenisch, Sebastian Mödersheim, Gregory Neven, Franz-Stefan Preiss, Dieter Sommer:
A card requirements language enabling privacy-preserving access control. SACMAT 2010: 119-128

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Modersheim09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Modersheim09
Sebastian Mödersheim:
Algebraic Properties in Alice and Bob Notation. ARES 2009: 433-440
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/ModersheimV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/ModersheimV09
Sebastian Mödersheim, Luca Viganò:
Secure Pseudonymous Channels. ESORICS 2009: 337-354
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/ModersheimV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/ModersheimV09
Sebastian Mödersheim, Luca Viganò:
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. FOSAD 2009: 166-194
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BruckerM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BruckerM09
Achim D. Brucker, Sebastian Mödersheim:
Integrating Automated and Interactive Protocol Verification. Formal Aspects in Security and Trust 2009: 248-262
2008
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Modersheim08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Modersheim08
Sebastian Mödersheim:
On the relationships between models in protocol verification. Inf. Comput. 206(2-4): 291-311 (2008)
2007
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Modersheim07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Modersheim07
Sebastian Mödersheim:
Models and methods for the automated analysis of security protocols. ETH Zurich, Zürich, Switzerland, 2007
2006
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BackesMPV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BackesMPV06
Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò:
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS 2006: 428-445
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/DrielsmaMVB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/DrielsmaMVB06
Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin:
Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust 2006: 80-95
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BackesMPV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BackesMPV06
Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò:
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. IACR Cryptol. ePrint Arch. 2006: 58 (2006)
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BasinMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BasinMV05
David A. Basin, Sebastian Mödersheim, Luca Viganò:
OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3): 181-208 (2005)
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ArmandoBBCCCDHKMMORSTVV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ArmandoBBCCCDHKMMORSTVV05
Alessandro 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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BasinMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BasinMV05
David A. Basin, Sebastian Mödersheim, Luca Viganò:
Algebraic Intruder Deductions. LPAR 2005: 549-564
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/DrielsmaMV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/DrielsmaMV04
Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò:
A Formalization of Off-Line Guessing for Security Protocol Analysis. LPAR 2004: 363-379
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DrielsmaM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DrielsmaM05
Paul Hankes Drielsma, Sebastian Mödersheim:
The ASW Protocol Revisited: A Unified View. ARSPA@IJCAR 2004: 145-161
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BasinMV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BasinMV03
David A. Basin, Sebastian Mödersheim, Luca Viganò:
CDiff: a new reduction technique for constraint-based analysis of security protocols. CCS 2003: 335-344
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/BasinMV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/BasinMV03
David A. Basin, Sebastian Mödersheim, Luca Viganò:
An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS 2003: 253-270
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ArmandoBBCCMRTVV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ArmandoBBCCMRTVV02
Alessandro 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
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BasinFM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BasinFM00
David A. Basin, Stefan Friedrich, Sebastian Mödersheim:
B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD 2000: 91-107

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.