Publications

2017

  • David Baelde, Stéphanie Delaune, and Lucca Hirschi. A reduced semantics for deciding trace equivalence. Logical Methods in Computer Science, 2017 (To appear).
  • 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.