Quang Dao
Quang Dao researches theoretical and applied cryptography at Carnegie Mellon University. His work focuses on the security of zero-knowledge proofs and post-quantum cryptography, including stronger security properties for SNARKs such as simulation extractability.