Skip to Main content Skip to Navigation

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

Complete list of metadata

Browse

Present sur SoftwareHeritage
swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=/

https://hal.inria.fr/hal-01821474
Contributor : David Baelde <>
Submitted on : Thursday, June 28, 2018 - 10:12:01 AM
Last modification on : Monday, February 15, 2021 - 10:49:07 AM

Collections

Citation

Share

Metrics

Record views

104

Files downloads

344