There are 7 Results with the keyword : "PROSECCO project-team"
A new vulnerability, Logjam, in SSL and TLS cryptographic protocols, which impacts approximately 8% of the Internet, has been updated. This discovery is related to the work of researchers at Microsoft Research, Johns Hopkins University, University of Michigan, University of Pennsylvania and Inria.
Inria Awards 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.
European Research Council 2015
Karthik Bhargavan, an INRIA director of research specialising in the security of data exchanges on the Internet, has just been awarded a Consolidator Grantby the European Research Council(1). This achievement, which is testament to a journey that is as exemplary as it is atypical, offers interesting prospects to the researcher and his team.
Usuba: An optimizing & trustworthy bitslicing compiler
Place : INRIA - Paris - 2 rue Simone Iff -Salle Lions 2, bâtiment C
Guest(s) : Darius Mercadier (LIP6)
Inria Awards 2016
Since 2011, the Inria Awards honour innovative scientific contributions to computer science and mathematics and promote the contributions and successes of those who are driving the development of our digital world. Since 2013, The French Académie des sciences and Inria are working in partnership to select the winners of the Inria Awards for science, in each of three categories: Grand Prize, Young researcher and Innovation. Dassault Systèmes is Inria and French Académie des sciences partner to award the Innovation prize. The Inria awards also underline the contributions of research and innovation support teams who play a significant part in the efficiency and successes of Inria. All the 2016 prizes will be awarded at the Forum des Images in Paris.
Provably secure compilation of side-channel countermeasures.
Place : Inria de Paris - 2 rue Simone Iff - 75012 - Paris
Guest(s) : Vincent Laporte, IMDEA
Last November, the Prosecco research team led by Karthikeyan Bhargavan discovered a vulnerability in the TLS protocol used to secure internet communications. Interview with Antoine Delignat-Lavaud , doctoral researcher and member of the Prosecco research team.