Sites Inria

Il y a 1 Résultats avec le mot clé : "Transport Data"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium 'EverParse'

3/10/2019

Parsers are a security-critical part of networking software, where bugs can lead to such catastrophes as the 2017 Cloudflare data leaks ("Cloudbleed".) 

We present EverParse, our open-source library and tools for automatic generation of verified efficient parsers for binary transport data formats.

Lieu : Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Tahina Ramananandro (Microsoft Research, Redmond)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium 'EverParse'

lire la suite

Haut de page

Suivez Inria