Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

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

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

SAT-Equiv: An Efficient Tool for Equivalence Properties (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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

POPSTAR: so near and yet so far

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

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

Symbolic Verification of Distance Bounding Protocols (odnośnik otworzy się w nowym oknie)

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0