Varun é um candidato a Ph.D. em Harvard, orientado pelo Prof. Srini Devadas e pelo Prof. Stephen Chong. Ele tem um interesse amplo em segurança de sistemas, com ênfase na construção de sistemas distribuídos provavelmente seguros, confiáveis e escaláveis. Sua pesquisa visa abordar o desafio fundamental da computação remota segura em datacenters, desenvolvendo mecanismos de isolamento baseados em hardware escaláveis e técnicas de verificação criptográfica para computação confiável e verificável.
Áreas de pesquisa
Segurança, Sistemas distribuídos, Criptografia, Arquitetura de computadores, Métodos formais