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

Informacje na temat projektu

POPSTAR

Identyfikator umowy o grant: 714955

DOI

10.3030/714955

Projekt został zamknięty

Data podpisania przez KE 16 Grudnia 2016

Data rozpoczęcia 1 Lutego 2017

Data zakończenia 31 Lipca 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 499 750,00

Wkład UE

€ 1 499 750,00

Koordynowany przez

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (8)

SAT-Equiv: An Efficient Tool for Equivalence Properties

Autorzy: Veronique Cortier, Antoine Dallon, Stephanie Delaune
Opublikowane w: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Strona(/y) 481-494, ISBN 978-1-5386-3217-8
Wydawca: IEEE
DOI: 10.1109/CSF.2017.15

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

Autorzy: Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Opublikowane w: 30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017
Wydawca: IEEE

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

Autorzy: David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Opublikowane w: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Strona(/y) 234-248, ISBN 978-1-5386-3217-8
Wydawca: IEEE
DOI: 10.1109/CSF.2017.22

Efficiently Deciding Equivalence for Standard Primitives and Phases

Autorzy: Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Opublikowane w: 2018
Wydawca: Springer

POR for Security Protocol Equivalences: Beyond Action-Determinism

Autorzy: David Baelde, Stéphanie Delaune, Lucca Hirschi
Opublikowane w: 2018
Wydawca: Springer

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

Autorzy: Stéphanie Delaune
Opublikowane w: 2018
Wydawca: Springer

A Symbolic Framework to Analyse Physical Proximity in Security Protocols

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

Symbolic analysis of terrorist fraud resistance

Autorzy: Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Opublikowane w: Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019
Wydawca: Springer

Other (1)

POPSTAR: so near and yet so far

Autorzy: Stéphanie Delaune
Opublikowane w: SIGLOG News, 2018
Wydawca: ACM

Peer reviewed articles (1)

A Reduced Semantics for Deciding Trace Equivalence

Autorzy: David Baelde, Stéphanie Delaune, Lucca Hirschi
Opublikowane w: LMCS, 2017, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

Book chapters (1)

Symbolic Verification of Distance Bounding Protocols

Autorzy: Alexandre Debant, Stéphanie Delaune
Opublikowane w: 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, Numer 11426, 2019, Strona(/y) 149-174, ISBN 978-3-030-17137-7
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-17138-4_7