Sites Inria

There are 5 Results with the keyword : "Karthik Bhargavan"

Awards and distinctions

A summer rich in distinctions

31/08/2015

The team-project Prosecco continue to be pointed out during this year of 2015 by receiving 3 new prices

Keywords:

Home > Centre > Paris > News > Un été riche en distinctions

More

Research

Team secret and Team Prosecco : SLOTH vulnerability detection

7/01/2016

Yesterday, after months of talking with various software vendors, we publicly disclosed a new attack called SLOTH discovered by Gaetan Leurent and Karthikeyan Bhargavan (both INRIA Paris researchers : Team SECRET and Team PROSECCO).

Keywords:

Home > Centre > Paris > News > EPI Secret et EPI Prosseco : détection de failles avec SLOTH

More

Karthik Bhargavan

European Research Council 2010

Karthik Bhargavan: proving the safety of web applications

Cécile Michaut - Technoscope - 23/11/2010

The medical saying "prevention is better than cure" also applies to computers. Karthik Bhargavan, a young researcher from the MOSCOVA team, recently received an ERC grant to continue his work on ensuring the safety of services such as personal and sensitive data management. This work is both theoretical and highly applied, and is carried out at the Inria and Microsoft Research joint laboratory. We went to meet this researcher.

Keywords:

Home > Research > News > Karthik Bhargavan : prouver la sûreté des applications web

More

Conférence scientifique

Karthik Bhargavan ( Prosecco) : Verified Cryptography for Everyone

6/12/2017

Understanding and implementing cryptographic algorithms is hard, and even expert programmers often make mistakes.

Keywords:

Home > Centre > Paris > Research > Karthik Bhargavan (Prosecco) : Verified Cryptography for Everyone

More

© Inria / Photo G .Scagnelli

Inria Awards 2016

Karthikeyan Bhargavan : Inria–French Académie des sciences Young Researcher Award

Citizen Press - 21/11/2016

Karthikeyan Bhargavan, an Inria director of research specialised in the security of data exchanges on the Internet, has just received the Inria Young Researcher Award. This latest award comes in recognition of his excellent knowledge of programming languages, Internet protocols and cryptography. He has followed an unusual career to acquire this interdisciplinary expertise.

Keywords:

Home > Institute > Inria in brief > Prix Inria par année > 2016 Prize Winners > Karthikeyan Bhargavan : Prix du jeune chercheur

More

Top