Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

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

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

SAT-Equiv: An Efficient Tool for Equivalence Properties (öffnet in neuem Fenster)

Autoren: Veronique Cortier, Antoine Dallon, Stephanie Delaune
Veröffentlicht in: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 481-494, ISBN 978-1-5386-3217-8
Herausgeber: IEEE
DOI: 10.1109/CSF.2017.15

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

Autoren: Delaune , Stéphanie; Kremer , Steve; Robin , Ludovic
Veröffentlicht in: 30th IEEE Computer Security Foundations Symposium, CSF 2017, 2017
Herausgeber: IEEE

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR (öffnet in neuem Fenster)

Autoren: David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Veröffentlicht in: 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 234-248, ISBN 978-1-5386-3217-8
Herausgeber: IEEE
DOI: 10.1109/CSF.2017.22

Efficiently Deciding Equivalence for Standard Primitives and Phases

Autoren: Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Veröffentlicht in: 2018
Herausgeber: Springer

POR for Security Protocol Equivalences: Beyond Action-Determinism

Autoren: David Baelde, Stéphanie Delaune, Lucca Hirschi
Veröffentlicht in: 2018
Herausgeber: Springer

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

Autoren: Stéphanie Delaune
Veröffentlicht in: 2018
Herausgeber: Springer

A Symbolic Framework to Analyse Physical Proximity in Security Protocols (öffnet in neuem Fenster)

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

Symbolic analysis of terrorist fraud resistance

Autoren: Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Veröffentlicht in: Computer Security - 24st European Symposium on Research in Computer Security, ESORICS 2019, 2019
Herausgeber: Springer

POPSTAR: so near and yet so far

Autoren: Stéphanie Delaune
Veröffentlicht in: SIGLOG News, 2018
Herausgeber: ACM

A Reduced Semantics for Deciding Trace Equivalence

Autoren: David Baelde, Stéphanie Delaune, Lucca Hirschi
Veröffentlicht in: LMCS, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

Symbolic Verification of Distance Bounding Protocols (öffnet in neuem Fenster)

Autoren: Alexandre Debant, Stéphanie Delaune
Veröffentlicht 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, Ausgabe 11426, 2019, Seite(n) 149-174, ISBN 978-3-030-17137-7
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-17138-4_7

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0