Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

ACM SIGSAC Conference on Computer and Communications Security (CCS)

Authors 0

1. Author list not loaded yet.