Published May 30, 2025 | Version v1
Software Open

Logical Relations for Formally Verified Authenticated Data Structures - Rocq and OCaml artifact

Creators

  • 1. ROR icon New York University

Description

This artifact contains the the Rocq and OCaml development accompanying the CCS 2025 submission "Logical Relations for Formally Verified Authenticated Data Structures".

Files

README.md

Files (1.5 GB)

Name Size Download all
md5:284366208e52af6e102eab879d6995cf
1.5 GB Download
md5:fc92225e30d9a7526705aa3d70dec04f
760.5 kB Preview Download
md5:43c14f4e1a5334ab474a5a06137fb0f2
1.1 kB Preview Download
md5:cee298a15dc84617274850263ee06f7b
275.7 kB Download

Additional details

Dates

Created
2025-05-30

Software

Programming language
Coq, OCaml