Logiciel Année : 2018

Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols

Stéphanie Delaune
Lucca Hirschi

Citer

David Baelde, Stéphanie Delaune, Lucca Hirschi. Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols. 2018, ⟨swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=/⟩. ⟨hal-01821474v2⟩
159 Consultations
175 Téléchargements

Partager

More