Publications

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.