Varun Ghandi
Research Intern

Varun is 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