POR for Security Protocol Equivalences

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02390219
Contributor : Stéphanie Delaune <>
Submitted on : Monday, December 2, 2019 - 9:50:08 PM
Last modification on : Wednesday, December 4, 2019 - 1:27:46 AM

Identifiers

Citation

David Baelde, Stéphanie Delaune, Lucca Hirschi. POR for Security Protocol Equivalences. ESORICS, pp.385-405, 2018, ⟨10.1007/978-3-319-99073-6_19⟩. ⟨hal-02390219⟩

Share

Metrics

Record views

15