Talks

Invited Talks

  • Better Safe than Sorry: Symbolic Verification for Security Protocols  
    October 2021, LSD Seminar, University of California Santa Cruz, CA, USA.

  • Symbolic verification of security protocols [Board talk]
    January 2020, Ericsson Research, Bengaluru, India.

  • A theory of assertions for Dolev-Yao models  
    March 2019, Seminaire M2F, LaBRI, Bordeaux, France.

  • Keeping secrets in the digital age  
    October 2018, ACM camp on Cybersecurity & Cryptography for High School students, SRM, Chennai, India.

  • A theory of assertions for Dolev-Yao models
    July 2018, Tata Research Development and Design Centre, Pune, India.

  • A theory of assertions for Dolev-Yao models
    June 2018, SoSySec Seminar, IRISA, Rennes, France.

  • Formal verification of security protocols  
    March 2018, SRM Institute of Science and Technology, Chennai, India.

  • Extending Dolev-Yao with assertions
    June 2016, LORIA, Nancy, France.

  • Extending Dolev-Yao with assertions
    March 2015, The Institute of Mathematical Sciences, Chennai, India.

Research Presentations

  • Deciding trace equivalence for protocols with asymmetric operations  
    Poster presentation and 5-minute talk (CSF 2019), June 2019, CSF 2019, Hoboken, NJ, USA.

  • Who holds the best card? Secure communication of optimal secret bits [Co-presented with Hans van Ditmarsch]
    Research presentation (FMAI 2019), May 2019, FMAI 2019, IRISA, Rennes, France.

  • Who holds the best card? Secure communication of optimal secret bits [Co-presented with Hans van Ditmarsch]
    Research presentation (MAFTEC 2018), December 2018, 5èmes Journées MAFTEC 2018, IRISA, Rennes, France.

  • A theory of assertions for Dolev-Yao models  
    Thesis defense, August 2018, Chennai Mathematical Institute, Chennai, India.

  • A theory of assertions for Dolev-Yao models
    Research presentation, July 2018, FM Update Meeting 2018, Goa, India.

  • Existential assertions for voting protocols  
    Paper presentation, April 2017, FC 2017 (Voting Workshop), Sliema, Malta.

  • Extending Dolev-Yao with assertions  
    Paper presentation, December 2014, ICISS 2014, IDRBT, Hyderabad, India.

  • Extending Dolev-Yao with assertions  
    Short talk, July 2014, FM Update Meeting 2014, Kharagpur, India.

  • From LTL to deterministic ω-automata  
    Research presentation, July 2013, FM Update Meeting 2013, Delhi, India.