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

Información del proyecto

POPSTAR

Identificador del acuerdo de subvención: 714955

DOI

10.3030/714955

Proyecto cerrado

Fecha de la firma de la CE 16 Diciembre 2016

Fecha de inicio 1 Febrero 2017

Fecha de finalización 31 Julio 2022

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 499 750,00

Aportación de la UE

€ 1 499 750,00

Coordinado por

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (8)

SAT-Equiv: An Efficient Tool for Equivalence Properties

Autores: Veronique Cortier, Antoine Dallon, Stephanie Delaune
Publicado en: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Página(s) 481-494, ISBN 978-1-5386-3217-8
Editor: IEEE
DOI: 10.1109/CSF.2017.15

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

Autores: Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Publicado en: 30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017
Editor: IEEE

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

Autores: David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Publicado en: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Página(s) 234-248, ISBN 978-1-5386-3217-8
Editor: IEEE
DOI: 10.1109/CSF.2017.22

Efficiently Deciding Equivalence for Standard Primitives and Phases

Autores: Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Publicado en: 2018
Editor: Springer

POR for Security Protocol Equivalences: Beyond Action-Determinism

Autores: David Baelde, Stéphanie Delaune, Lucca Hirschi
Publicado en: 2018
Editor: Springer

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

Autores: Stéphanie Delaune
Publicado en: 2018
Editor: Springer

A Symbolic Framework to Analyse Physical Proximity in Security Protocols

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

Symbolic analysis of terrorist fraud resistance

Autores: Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Publicado en: Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019
Editor: Springer

Other (1)

POPSTAR: so near and yet so far

Autores: Stéphanie Delaune
Publicado en: SIGLOG News, 2018
Editor: ACM

Peer reviewed articles (1)

A Reduced Semantics for Deciding Trace Equivalence

Autores: David Baelde, Stéphanie Delaune, Lucca Hirschi
Publicado en: LMCS, 2017, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

Book chapters (1)

Symbolic Verification of Distance Bounding Protocols

Autores: Alexandre Debant, Stéphanie Delaune
Publicado en: 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, Edición 11426, 2019, Página(s) 149-174, ISBN 978-3-030-17137-7
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-17138-4_7