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. |