Researchers

Karthikeyan Bhargavan
Inria Paris
Presentation

My research concerns the theory, design, and implementation of modern programming language features and formal verification techniques. My recent work focuses on using formal methods to investigate the (in)security of distributed applications such as cryptographic protocols.

Contact:
rf.airni@navagrahB.nayekihtraK
+33 1 3963 5941
Publications at the Joint Centre:

Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “karthikeyan,bhargavan”
Number of occurrences founded : 56.