Vaishnavi Sundararajan

Chandruka New Faculty Fellow & Assistant Professor in CSE at IIT Delhi.

421 Block IIA Bharti Building

Indian Institute of Technology

Hauz Khas, New Delhi 110 016.


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.


Jan 12, 2024 I’m co-teaching COL226 (Programming Languages) with Prof. Sanjiva Prasad this semester.
Sep 6, 2023 Our paper about the insecurity problem for assertions has been accepted at IEEE CSF 2024! ArXiv version.
Jul 27, 2023 Our work on analyzing the EDHOC protocol was published in the CCIS book series by Springer. Access it here.