POR for Security Protocol Equivalences: Beyond Action-Determinism

David Baelde, Stéphanie Delaune, Lucca Hirschi

Formal methods have proved effective to automatically analyze protocols. Over the past years, much research has focused on verifying trace equivalence on protocols, which is notabl…