Vaishnavi Sundararajan

Me!

Work

I recently completed my PhD at the Chennai Mathematical Institute. My advisors were R. Ramanujam and S. P. Suresh. My thesis was on formal aspects of certification in security protocols. I'm interested in the areas of logic, security, proof theory and verification.
Click here for a detailed CV.

Publications

  • A theory of assertions for Dolev-Yao models [PDF]
    Vaishnavi Sundararajan.
    PhD Thesis.

  • Existential assertions for voting protocols [PDF]
    R Ramanujam, Vaishnavi Sundararajan and S P Suresh.
    Proc. FC 2017 Workshops (Voting '17), Springer LNCS volume 10323, pages 337–352.

  • The complexity of disjunction in intuitionistic logic [PDF]
    R Ramanujam, Vaishnavi Sundararajan and S P Suresh.
    Proc. LFCS 2016, Springer LNCS volume 9537, pages 349–363.

  • Extending Dolev-Yao with assertions [PDF]
    R Ramanujam, Vaishnavi Sundararajan and S P Suresh.
    Proc. ICISS 2014, Springer LNCS volume 8880, pages 50–68.

Older publications

Teaching

  • Formal Methods for Cryptographic Protocols [Link]
    August – December 2017, Chennai Mathematical Institute.
    Co-instructor (with Prof. S P Suresh).

  • Security Protocol Design and Verification
    June 2016, ACM Summer School on Information and Systems Security, Vellore Institute of Technology.
    Co-instructor (with Prof. S P Suresh).

  • Training on Functional Programming with Haskell [News article]
    September 2016, National Institute of Engineering, Mysuru.
    Co-instructor (with Prof. S P Suresh).

Teaching assistant positions

Contact Me

  • vaishnavi@cmi.ac.in

  • Address

    Chennai Mathematical Institute
    H1 SIPCOT IT Park
    Siruseri, Kelambakkam
    Tamil Nadu - 603103, India.

  • Phone

    044-27470228.