Willy R. Vasquez is a PhD student at The University of Texas at Austin working on cryptography and systems security. His research currently focuses on the security of hardware video decoders and building out zero-knowledge proof technologies. His research interests lie in privacy, systems security, cryptosystems, and formal methods.