Séminaire Gallium : EverParse: verified efficient parsing for transport data formats

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

Source : https://www.inria.fr/centre/paris/agenda/seminaire-gallium94

Date : September 23, 2019 at 02:45PM

Tag(s) : #EVENEMENTS