Published May 12, 2025 | Version v1
Other Open

Nonmalleable Progress Leakage Rocq Proofs

  • 1. ROR icon University of Wisconsin–Madison

Description

This tarball contains the Rocq proofs for the paper Nonmalleable Progress Leakage, published at CSF 2025, authored by Ethan Cecchetti.

Files

Files (74.7 kB)

Name Size Download all
md5:21cd555733e527c6ae872316fe81e96f
74.7 kB Download