Sites Inria

Il y a 23 Résultats avec le mot clé : "Prosecco"

Mozilla Firefox

Recherche

EPI Prosecco : cryptographie de haute sécurité pour Mozilla Firefox

20/09/2017

Durant l'été, l'équipe Prosecco d'Inria a travaillé en collaboration avec Mozilla , l'éditeur du navigateur web Firefox, pour intégrer sa bibliothèque de cryptographie à haut niveau d'assurance au sein de la bibliothèque réseau NSS.

Mots-clés :

Accueil > Centre > Paris > Actualités > EPI Prosecco : cryptographie de haute sécurité pour Mozilla Firefox

Lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

12/12/2017

Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible

Lieu : INRIA - Paris - 2 rue Simone Iff - Salle Lions 2, bâtiment C

Intervenant(s) : William J. Bowman, Northeastern University

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

29/11/2017

Usuba: An optimizing & trustworthy bitslicing compiler

Lieu : INRIA - Paris - 2 rue Simone Iff -Salle Lions 2, bâtiment C

Intervenant(s) : Darius Mercadier (LIP6)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Seminaire des équipes de recheche

Seminaire Prosecco

7/12/2017

A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

Lieu : INRIA - Paris -2 rue Simone Iff - Salle Lions 2, bâtiment C

Intervenant(s) : Amin Timany, KU Leuven

Mots-clés :

Accueil > Centre > Paris > Agenda > Seminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

14/12/2017

Provably secure compilation of side-channel countermeasures.

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 - Paris

Intervenant(s) : Vincent Laporte, IMDEA

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

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.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2017 > Karthik Bhargavan (Prosecco) : Verified Cryptography for Everyone

Lire la suite

Prix et distinctions

Deux lauréats au prix de thèse GDR GPL 2016

S.F. (*) - 30/06/2017

Excellente année 2016 pour le centre avec deux lauréats au prix de thèse du GDR Génie de la Programmation et du Logiciel : Jacques-Henri Jourdan (Gallium) remporte le 1er prix et Antoine Delignat-Lavaud (Prosecco) reçoit un accessit.

Mots-clés :

Accueil > Centre > Paris > Actualités > Deux lauréats au prix de thèse GDR GPL 2016

Lire la suite

Séminaire des équipes de recherche

Séminaire Prosecco

4/06/2018

I will present Template-Coq which is a Coq plugin to quote and unquote terms.

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 2 - 2:00 pm

Intervenant(s) : Simon Boulier (Inria Nantes)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Conférence scientifique

Graham Steel (Prosecco) : Cryptosense

A.A. (*) - 2/03/2017

Le logiciel Cryptosense détecte et aide à réparer les failles de sécurité dues à des erreurs d’utilisation des systèmes cryptographiques. Dans cette présentation j’expliquerai comment ce projet, créé à Paris en 2013 sous l’égide de Prosecco-Inria , est passé d’un simple projet de recherche intéressant l’industrie à une entreprise en pleine croissance travaillant avec des services financiers et des pouvoirs publics en Europe et en Amérique du Nord. Je me pencherai notamment sur les différences entre le prototype de recherche originel et notre produit final commercialisé, et j’expliquerai ma vision des différences entre un "chargé de recherche" et un manager de start-up.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2017 > Graham Steel (Prosecco) : Cryptosense

Lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

23/07/2018

Rust represents a major advancement in production programming languages because of its success in bridging the gap between high-level application programming and low-level systems programming. At the heart of its design lies a novel approach to ownership that remains highly programmable.

Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions

Intervenant(s) : Aaron Weiss (Northeastern University)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria