Research Presentations
Scaling Verifiable Computation Using Efficient Set Accumulators [slides]
- USENIX Seurity 2020, 14 August 2020
- MIT Security Seminar, 13 August 2020
- Stanford Software Lunch, 30 January 2020
- Stanford Security Lunch, 2 October 2019
DRAT-based Bit-Vector Proofs in CVC4
- SAT 2019, 10 July 2019
- Stanford Software Lunch, 13 June 2019