SAT-Equiv: An Efficient Tool for Equivalence Properties
(öffnet in neuem Fenster)
Autoren:
Veronique Cortier, Antoine Dallon, Stephanie Delaune
Veröffentlicht in:
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 481-494, ISBN 978-1-5386-3217-8
Herausgeber:
IEEE
DOI:
10.1109/CSF.2017.15
Formal verification of protocols based on short authenticated strings (extended version)
Autoren:
Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Veröffentlicht in:
30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017
Herausgeber:
IEEE
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR
(öffnet in neuem Fenster)
Autoren:
David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Veröffentlicht in:
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 234-248, ISBN 978-1-5386-3217-8
Herausgeber:
IEEE
DOI:
10.1109/CSF.2017.22
Efficiently Deciding Equivalence for Standard Primitives and Phases
Autoren:
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Veröffentlicht in:
2018
Herausgeber:
Springer
POR for Security Protocol Equivalences: Beyond Action-Determinism
Autoren:
David Baelde, Stéphanie Delaune, Lucca Hirschi
Veröffentlicht in:
2018
Herausgeber:
Springer
Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)
Autoren:
Stéphanie Delaune
Veröffentlicht in:
2018
Herausgeber:
Springer
A Symbolic Framework to Analyse Physical Proximity in Security Protocols
(öffnet in neuem Fenster)
Autoren:
Alexandre Debant
Stéphanie Delaune
Cyrille Wiedling
Veröffentlicht in:
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), 2018
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fsttcs.2018.29
Symbolic analysis of terrorist fraud resistance
Autoren:
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Veröffentlicht in:
Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019
Herausgeber:
Springer
