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

Project Information

POPSTAR

Grant agreement ID: 714955

DOI

10.3030/714955

Project closed

EC signature date 16 December 2016

Start date 1 February 2017

End date 31 July 2022

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 499 750,00

EU contribution

€ 1 499 750,00

Coordinated by

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (8)

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, ISBN 978-1-5386-3217-8
Publisher: IEEE
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
Publisher: IEEE

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, ISBN 978-1-5386-3217-8
Publisher: IEEE
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
Publisher: Springer

POR for Security Protocol Equivalences: Beyond Action-Determinism

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

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

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

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
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
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
Publisher: Springer

Other (1)

POPSTAR: so near and yet so far

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

Peer reviewed articles (1)

A Reduced Semantics for Deciding Trace Equivalence

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

Book chapters (1)

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, ISBN 978-3-030-17137-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-17138-4_7