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 Accéder directement au contenu
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⟩
120 Consultations
155 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More