In my academic life, I am a researcher (directeur de recherche) at Inria, where I lead the Prosecco project ("Programming Securely with Cryptography") at INRIA ...
INRIA - Cited by 9606 - Programming Languages - Security - Formal Verification
Oct 7, 2024 · List of computer science publications by Karthikeyan Bhargavan.
Karthikeyan Bhargavan
Author
>
Affiliation: Institut national de recherche en informatique et en automatique
Research interests: Programming Languages, Security, and Formal Verification
Biography. Karthikeyan Bhargavan received the BTech degree in computer science and engineering from the Indian Institute of Technology, New Delhi, in May 1997.
Karthikeyan Bhargavan's research lies at the intersection of programming languages, software verification, and applied cryptography. He will work on developing ...
Subject Areas: Cryptography, Computer crime, Program semantics, Software verification, Formal languages and automata theory, Program verification, Security and ...
Cryspen was founded in December 2021 by Franziskus Kiefer, Karthikeyan Bhargavan, and Jonathan Protzenko, with the goal of adapting and extending cutting-edge ...
Formation · École normale supérieure · University of Pennsylvania · Indian Institute of Technology, Delhi. Bachelor of Technology - BTech Computer Science.
Karthik Bhargavan, 2010 winner of an ERC – Starting Grant, aims to ensure the safety of services such as personal and sensitive data management.
Karthikeyan Bhargavan · Roles · RFCs (2) · Active Internet-Drafts (0) · Expired Internet-Drafts (3) · Internet-Draft Activity.