Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface


...
hal-02018280v1  Communication dans un congrès
Alexandre DebantStéphanie Delaune. Symbolic verification of distance bounding protocols
Principles of Security and Trust - 8th International Conference, Apr 2019, Prague, Czech Republic
...
hal-01529966v1  Rapport
Véronique CortierAntoine DallonStéphanie Delaune. SAT-Equiv: an efficient tool for equivalence properties
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
...
hal-03172119v1  Communication dans un congrès
David BaeldeStéphanie DelauneCharlie JacommeAdrien KoutsosSolène Moreau. An Interactive Prover for Protocol Verification in the Computational Model
SP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States
...
hal-01624274v1  Communication dans un congrès
Véronique CortierAntoine DallonStéphanie Delaune. SAT-Equiv: An Efficient Tool for Equivalence Properties
30th IEEE Computer Security Foundations Symposium (CSF'17), Jul 2017, Santa Barbara, United States. pp.481 - 494, ⟨10.1109/CSF.2017.15⟩
...
hal-01708336v1  Rapport
Alexandre DebantStéphanie DelauneCyrille Wiedling. Proving physical proximity using symbolic models
[Research Report] Univ Rennes, CNRS, IRISA, France. 2018
...
hal-02268400v1  Article dans une revue
Rémy ChrétienVéronique CortierAntoine DallonStéphanie Delaune. Typing messages for free in security protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (1), ⟨10.1145/3343507⟩
...
hal-01900083v1  Communication dans un congrès
Véronique CortierAntoine DallonStéphanie Delaune. Efficiently deciding equivalence for standard primitives and phases
ESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelona, Spain
...
hal-01528607v1  Communication dans un congrès
Stéphanie DelauneSteve KremerLudovic Robin. Formal verification of protocols based on short authenticated strings
CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.14
...
hal-02459984v1  Communication dans un congrès
David BaeldeStéphanie DelauneSolène Moreau. A Method for Proving Unlinkability of Stateful Protocols
33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston, United States