Vaishnavi Sundararajan

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

412 Block IIA Bharti Building

Indian Institute of Technology

Hauz Khas, New Delhi 110 016.

(South office in the Verification Lab)

Tel: 011-26591292

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.

News

Jul 17, 2024 I am teaching Logic for Computer Science (COL703) this semester. More details here.
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.