Vaishnavi's Website

I am a Chandruka New Faculty Fellow and Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Delhi. I am also associated with the Center of Excellence in Cyber Systems and Information Assurance (CSIA). I am interested in applying formal methods and logic to various fields, primarily security.

I completed my PhD at the Chennai Mathematical Institute, where I was advised by R Ramanujam and S P Suresh. I worked on the formal modelling and verification of security protocols involving certification. After my PhD, I worked at CNRS (IRISA), Ericsson Research, and UC Santa Cruz.

I am looking for students to work with me. If you are interested, please read this and drop me an email with the relevant details.