Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Software Year :

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

Stéphanie Delaune
Lucca Hirschi

Cite

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⟩
112 View
116 Download

Share

Gmail Facebook Twitter LinkedIn More