Releases: soap-wg/soap-proofs
Releases · soap-wg/soap-proofs
USENIX Proofs
This release contains the formal model and proofs of SOAP as referenced in its USENIX publication.
USENIX Proofs
usenix-pre Remove license anonymize
CCS Proofs
ccs-proofs Update scripts and documentation to new proofs
SOAP Proofs
proofs Update README