Varun Gandhi
Research Intern

Varun is a Ph.D. candidate at Harvard, advised by Prof. Srini Devadas and Prof. Stephen Chong. He is broadly interested in systems security with an emphasis on building provably-secure, trustworthy, and scalable distributed systems. His research aims to address the fundamental challenge of secure remote computation in datacenters by developing scalable hardware-enforced isolation mechanisms and cryptographic verification techniques for trusted and verifiable computation.

Research Areas

Security, Distributed Systems, Cryptography, Computer Architecture, Formal Methods