Skip to main content

Reasoning about Physical properties Of security Protocols with an Application To contactless Systems

Searching for OpenAIRE data...

Publications

SAT-Equiv: An Efficient Tool for Equivalence Properties

Author(s): Veronique Cortier, Antoine Dallon, Stephanie Delaune
Published in: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Page(s) 481-494
DOI: 10.1109/CSF.2017.15

Formal verification of protocols based on short authenticated strings (extended version)

Author(s): Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Published in: 30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR

Author(s): David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Published in: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Page(s) 234-248
DOI: 10.1109/CSF.2017.22

Efficiently Deciding Equivalence for Standard Primitives and Phases

Author(s): Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Published in: 2018

POR for Security Protocol Equivalences: Beyond Action-Determinism

Author(s): David Baelde, Stéphanie Delaune, Lucca Hirschi
Published in: 2018

Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)

Author(s): Stéphanie Delaune
Published in: 2018

A Symbolic Framework to Analyse Physical Proximity in Security Protocols

Author(s): Alexandre Debant Stéphanie Delaune Cyrille Wiedling
Published in: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), 2018
DOI: 10.4230/lipics.fsttcs.2018.29

Symbolic analysis of terrorist fraud resistance

Author(s): Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Published in: Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019

POPSTAR: so near and yet so far

Author(s): Stéphanie Delaune
Published in: SIGLOG News, 2018

A Reduced Semantics for Deciding Trace Equivalence

Author(s): David Baelde, Stéphanie Delaune, Lucca Hirschi
Published in: LMCS, 2017, ISSN 1860-5974

Symbolic Verification of Distance Bounding Protocols

Author(s): Alexandre Debant, Stéphanie Delaune
Published in: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Issue 11426, 2019, Page(s) 149-174
DOI: 10.1007/978-3-030-17138-4_7