{
  "title": "Simple Secrecy Verification",
  "origin_url": "https://bblanche.gitlabpages.inria.fr/proverif/manual.pdf",
  "license_guess": null,
  "code_sha256": "1d6efa1a4997cd7861f5594354deba7b571c9242d006fc5f850073c906b29bb2",
  "added_at": "2026-02-28T14:54:26Z"
}