Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

SAT-Equiv: An Efficient Tool for Equivalence Properties (s’ouvre dans une nouvelle fenêtre)

Auteurs: Veronique Cortier, Antoine Dallon, Stephanie Delaune
Publié dans: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Page(s) 481-494, ISBN 978-1-5386-3217-8
Éditeur: IEEE
DOI: 10.1109/CSF.2017.15

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

Auteurs: Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Publié dans: 30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017
Éditeur: IEEE

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR (s’ouvre dans une nouvelle fenêtre)

Auteurs: David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Publié dans: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Page(s) 234-248, ISBN 978-1-5386-3217-8
Éditeur: IEEE
DOI: 10.1109/CSF.2017.22

Efficiently Deciding Equivalence for Standard Primitives and Phases

Auteurs: Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Publié dans: 2018
Éditeur: Springer

POR for Security Protocol Equivalences: Beyond Action-Determinism

Auteurs: David Baelde, Stéphanie Delaune, Lucca Hirschi
Publié dans: 2018
Éditeur: Springer

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

Auteurs: Stéphanie Delaune
Publié dans: 2018
Éditeur: Springer

A Symbolic Framework to Analyse Physical Proximity in Security Protocols (s’ouvre dans une nouvelle fenêtre)

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

Symbolic analysis of terrorist fraud resistance

Auteurs: Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Publié dans: Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019
Éditeur: Springer

POPSTAR: so near and yet so far

Auteurs: Stéphanie Delaune
Publié dans: SIGLOG News, 2018
Éditeur: ACM

A Reduced Semantics for Deciding Trace Equivalence

Auteurs: David Baelde, Stéphanie Delaune, Lucca Hirschi
Publié dans: LMCS, 2017, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

Symbolic Verification of Distance Bounding Protocols (s’ouvre dans une nouvelle fenêtre)

Auteurs: Alexandre Debant, Stéphanie Delaune
Publié dans: 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, Numéro 11426, 2019, Page(s) 149-174, ISBN 978-3-030-17137-7
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-17138-4_7

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0