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

Informazioni relative al progetto

POPSTAR

ID dell’accordo di sovvenzione: 714955

DOI

10.3030/714955

Progetto chiuso

Data della firma CE 16 Dicembre 2016

Data di avvio 1 Febbraio 2017

Data di completamento 31 Luglio 2022

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 499 750,00

Contributo UE

€ 1 499 750,00

Coordinato da

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (8)

SAT-Equiv: An Efficient Tool for Equivalence Properties

Autori: Veronique Cortier, Antoine Dallon, Stephanie Delaune
Pubblicato in: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Pagina/e 481-494, ISBN 978-1-5386-3217-8
Editore: IEEE
DOI: 10.1109/CSF.2017.15

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

Autori: Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Pubblicato in: 30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017
Editore: IEEE

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

Autori: David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Pubblicato in: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Pagina/e 234-248, ISBN 978-1-5386-3217-8
Editore: IEEE
DOI: 10.1109/CSF.2017.22

Efficiently Deciding Equivalence for Standard Primitives and Phases

Autori: Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Pubblicato in: 2018
Editore: Springer

POR for Security Protocol Equivalences: Beyond Action-Determinism

Autori: David Baelde, Stéphanie Delaune, Lucca Hirschi
Pubblicato in: 2018
Editore: Springer

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

Autori: Stéphanie Delaune
Pubblicato in: 2018
Editore: Springer

A Symbolic Framework to Analyse Physical Proximity in Security Protocols

Autori: Alexandre Debant Stéphanie Delaune Cyrille Wiedling
Pubblicato in: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), 2018
Editore: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fsttcs.2018.29

Symbolic analysis of terrorist fraud resistance

Autori: Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Pubblicato in: Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019
Editore: Springer

Other (1)

POPSTAR: so near and yet so far

Autori: Stéphanie Delaune
Pubblicato in: SIGLOG News, 2018
Editore: ACM

Peer reviewed articles (1)

A Reduced Semantics for Deciding Trace Equivalence

Autori: David Baelde, Stéphanie Delaune, Lucca Hirschi
Pubblicato in: LMCS, 2017, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig

Book chapters (1)

Symbolic Verification of Distance Bounding Protocols

Autori: Alexandre Debant, Stéphanie Delaune
Pubblicato 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, Numero 11426, 2019, Pagina/e 149-174, ISBN 978-3-030-17137-7
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-17138-4_7