Talks

Selected Invited Talks

• Proving Security Protocols Correct  
  November 2024, Logic Society of Delhi talk, Ashoka University, Sonepat, Haryana, India.

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