Abstract

My work studies connections between efficient proof systems and quantum information. My interests include post-quantum security reductions for classical cryptographic proof systems (quantum rewinding); quantum proof systems; and incrementally-verifiable computation.