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

hal-01906639v1  Article dans une revue
Stéphanie DelauneDavid BaeldeLucca Hirschi. A Reduced Semantics for Deciding Trace Equivalence
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (2), pp.1-48. ⟨10.23638/LMCS-13(2:8)2017⟩
hal-01533708v1  Communication dans un congrès
David BaeldeStéphanie DelauneIvan GazeauSteve Kremer. Symbolic verification of privacy-type properties for security protocols with XOR
CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15
hal-02171218v1  Communication dans un congrès
Alexandre DebantStéphanie DelauneCyrille Wiedling. Symbolic analysis of terrorist fraud resistance
Computer Security - 2019 - 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg