Recherche - SYSTÈMES LARGE ÉCHELLE Accéder directement au contenu

Filtrer vos résultats

9 Résultats
Projet européen : Acronyme : SPOOC
Image document

Symbolic verification of privacy-type properties for security protocols with XOR (extended version)

David Baelde , Stéphanie Delaune , Ivan Gazeau , Steve Kremer
[Research Report] Inria Nancy - Grand Est. 2017, pp.29
Rapport hal-01533694v1
Image document

SAT-Equiv: an efficient tool for equivalence properties

Véronique Cortier , Antoine Dallon , Stéphanie Delaune
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
Rapport hal-01529966v1
Image document

SAT-Equiv: An Efficient Tool for Equivalence Properties

Véronique Cortier , Antoine Dallon , Stéphanie Delaune
30th IEEE Computer Security Foundations Symposium (CSF'17), Jul 2017, Santa Barbara, United States. pp.481 - 494, ⟨10.1109/CSF.2017.15⟩
Communication dans un congrès hal-01624274v1
Image document

Symbolic verification of privacy-type properties for security protocols with XOR

David Baelde , Stéphanie Delaune , Ivan Gazeau , Steve Kremer
CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15
Communication dans un congrès hal-01533708v1
Image document

Typing messages for free in security protocols

Rémy Chrétien , Véronique Cortier , Antoine Dallon , Stéphanie Delaune
ACM Transactions on Computational Logic, 2020, 21 (1), ⟨10.1145/3343507⟩
Article dans une revue hal-02268400v1
Image document

Efficiently deciding equivalence for standard primitives and phases

Véronique Cortier , Antoine Dallon , Stéphanie Delaune
ESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelona, Spain
Communication dans un congrès hal-01900083v1
Image document

A decidable class of security protocols for both reachability and equivalence properties

Véronique Cortier , Stéphanie Delaune , Vaishnavi Sundararajan
Journal of Automated Reasoning, 2021, 65, ⟨10.1007/s10817-020-09582-9⟩
Article dans une revue hal-03005036v1
Image document

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

Stéphanie Delaune , Steve Kremer , Ludovic Robin
[Research Report] Inria Nancy - Grand Est. 2017
Rapport hal-01528603v1
Image document

Formal verification of protocols based on short authenticated strings

Stéphanie Delaune , Steve Kremer , Ludovic Robin
CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.14
Communication dans un congrès hal-01528607v1