Vaishnavi Sundararajan

Postdoctoral researcher (EMSEC team)
at IRISA, Rennes

I completed my PhD in 2018 at Chennai Mathematical Institute. My advisors were Prof. R. Ramanujam and Prof. 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, Chennai Mathematical Institute.

  • 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, VIT, Vellore.
    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

  • vaishnavi [DOT] sundararajan [AT] irisa [DOT] fr


  • Office F309,
    Campus Universitaire de Beaulieu
    263 Avenue du Général Leclerc
    35042 Rennes Cedex - France.

  • +33 (0)2 99 84 22 60 (82260).