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