Thesis title: Formalizing Soundness Proofs of SNARKS
Andrew Miller, Chair and Director of Research
Carl Gunter
Grigore Rosu
Talia Ringer
Bryan Parno, Carnegie Mellon University
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.