Biblio

Export 4 results:
Filters: Author is Antoine Delignat-Lavaud  [Clear All Filters]
2022
Shamis A, Pietzuch P, Canakci B, Castro M, Fournet C, Ashton E, Chamayou A, Clebsch S, Delignat-Lavaud A, Kerner M et al..  2022.  IA-CCF: Individual Accountability for Permissioned Ledgers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :467--491.
2019
Ramananandro T, Delignat-Lavaud A, Fournet C, Swamy N, Chajed T, Kobeissi N, Protzenko J.  2019.  EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. 28th USENIX Security Symposium (USENIX Security 19). :1465--1482.
2015
Beurdouche B, Delignat-Lavaud A, Kobeissi N, Pironti A, Bhargavan K.  2015.  FLEXTLS: A Tool for Testing TLS Implementations. 9th USENIX Workshop on Offensive Technologies (WOOT 15).
2013
Bhargavan K, Delignat-Lavaud A, Maffeis S.  2013.  Language-based Defenses Against Untrusted Browser Origins. 22nd USENIX Security Symposium (USENIX Security 13). :653--670.