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