USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Antoine Delignat-Lavaud [Clear All Filters]
IA-CCF: Individual Accountability for Permissioned Ledgers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :467--491.
.
2022. EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. 28th USENIX Security Symposium (USENIX Security 19). :1465--1482.
.
2019. FLEXTLS: A Tool for Testing TLS Implementations. 9th USENIX Workshop on Offensive Technologies (WOOT 15).
.
2015. Language-based Defenses Against Untrusted Browser Origins. 22nd USENIX Security Symposium (USENIX Security 13). :653--670.
.
2013.