Publication | Closed Access
Halo: Recursive Proof Composition without a Trusted Setup.
43
Citations
3
References
2019
Year
Trusted SetupEngineeringAutomated ReasoningVerificationFormal MethodsAutomated ProofComputer ScienceProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1