Varun es un candidato a doctorado en Harvard, asesorado por el profesor Srini Devadas y el profesor Stephen Chong. Está interesado en general en la seguridad de los sistemas, con énfasis en la construcción de sistemas distribuidos seguros, fiables y escalables que puedan ser probados. Su investigación tiene como objetivo abordar el desafío fundamental de la computación remota segura en centros de datos mediante el desarrollo de mecanismos de aislamiento reforzados por hardware escalables y técnicas de verificación criptográfica para una computación de confianza y verificable.
Áreas de investigación
Seguridad, sistemas distribuidos, criptografía, arquitectura de computadoras, métodos formales