Concepedia
Statistics
Publications
1
Citations
43
H-Index
Active since
2019
Jack Grigg is an author specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2019–2019
Halo: Recursive Proof Composition without a Trusted Setup.
Sean Bowe, Jack Grigg, D. Hopwood · IACR Cryptology ePrint Archive · 2019 · 43 citations
Trusted Setup, Engineering, Automated Reasoning +6
1–1 of 1