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