Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

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

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

SAT-Equiv: An Efficient Tool for Equivalence Properties (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

POPSTAR: so near and yet so far

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

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

Symbolic Verification of Distance Bounding Protocols (se abrirá en una nueva ventana)

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

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0