Karthikeyan Bhargavan

Prosecco, INRIA Paris-Rocquencourt

---

• Publications
• Teaching
• Curriculum Vitae

---

Current Year (2020-2021)

• MPRI-2-30: I taught part of the MPRI course on Cryptographic protocols: formal and computational proofs.
• I am teaching courses on cryptographic protocol verification at IIT Delhi and Chennai Mathematical Institute.