Publications

2019

  • Rémy Chrétien, Véronique Cortier, Antoine Dallon, and Stéphanie Delaune. Typing messages for free in security protocols. ACM Transactions on Computational Logic, to appear.
  • Lucca Hirschi, David Baelde, and Stéphanie Delaune. A method for unbounded verification of privacy-type properties. Journal of Computer Security, 2019.
  • Alexandre Debant, Stéphanie Delaune, and Cyrille Wiedling. Symbolic analysis of terrorist fraud resistance. In Proceedings of  the 24th European Symposium on Research in Computer Security (ESORICS’19), Lecture Notes in Computer Science, Springer, Luxembourg, 2019.
  • Alexandre Debant, and Stéphanie Delaune. Symbolic Verification of Distance Bounding Protocols. In Proceedings of the 8th International Conference on Principles of Security and Trust (POST’19), Spinger, Prague, Czech Republic, 2019.

2018

  • Alexandre Debant, Stéphanie Delaune, and Cyrille Wiedling. A Symbolic Framework to Analyse Physical Proximity in Security Protocols. In Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS’18), Lipics,  Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Ahmedabad, India, 2018.
  • David Baelde, Stéphanie Delaune, and Lucca Hirschi. POR for Security Protocol Equivalences — Beyond Action-Determinism. In Proceedings of the 23rd European Symposium on Research in Computer Security (ESORICS’18), Lecture Notes in Computer Science, Springer, Barcelona, Spain, 2018.
  • Véronique Cortier, Antoine Dallon, and Stéphanie Delaune. Efficiently deciding equivalence for standard primitives and phases. In Proceedings of the 23rd European Symposium on Research in Computer Security (ESORICS’18), Lecture Notes in Computer Science, Springer, Barcelona, Spain, 2018.
  • Stéphanie Delaune. Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk). In 3rd International Conference on Formal Structures for Computation and Deduction, (FSCD’18), LIPIcs 108, Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Oxford, UK, 2018.

2017

  • David Baelde, Stéphanie Delaune, and Lucca Hirschi. A reduced semantics for deciding trace equivalence. Logical Methods in Computer Science, 13(2), 2017.
  • David Baelde, Stéphanie Delaune, Ivan Gazeau, and Steve Kremer. Symbolic verification of privacy-type properties for security protocols with XOR. In Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF’17), IEEE Computer Society Press, Santa Barbara, CA, USA, August 2017.
  • Véronique Cortier and Antoine Dallon, and Stéphanie Delaune. SAT-Equiv: an efficient tool for equivalence properties. In Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF’17), IEEE Computer Society Press, Santa Barbara, CA, USA, August 2017.
  • Stéphanie Delaune, Steve Kremer, and Ludovic Robin. Formal verification of protocols based on short authenticated strings. In Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF’17), IEEE Computer Society Press, Santa Barbara, CA, USA, August 2017.

Comments are closed.