@inproceedings {278332, author = {Alex Shamis and Peter Pietzuch and Burcu Canakci and Miguel Castro and Cedric Fournet and Edward Ashton and Amaury Chamayou and Sylvan Clebsch and Antoine Delignat-Lavaud and Matthew Kerner and Julien Maffre and Olga Vrousgou and Christoph M. Wintersteiger and Manuel Costa and Mark Russinovich}, title = {{IA-CCF}: Individual Accountability for Permissioned Ledgers}, booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)}, year = {2022}, isbn = {978-1-939133-27-4}, address = {Renton, WA}, pages = {467--491}, url = {https://www.usenix.org/conference/nsdi22/presentation/shamis}, publisher = {USENIX Association}, month = apr } @inproceedings {236232, author = {Tahina Ramananandro and Antoine Delignat-Lavaud and Cedric Fournet and Nikhil Swamy and Tej Chajed and Nadim Kobeissi and Jonathan Protzenko}, title = {{EverParse}: Verified Secure {Zero-Copy} Parsers for Authenticated Message Formats}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1465--1482}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud}, publisher = {USENIX Association}, month = aug } @inproceedings {191934, author = {Benjamin Beurdouche and Antoine Delignat-Lavaud and Nadim Kobeissi and Alfredo Pironti and Karthikeyan Bhargavan}, title = {{FLEXTLS}: A Tool for Testing {TLS} Implementations}, booktitle = {9th USENIX Workshop on Offensive Technologies (WOOT 15)}, year = {2015}, address = {Washington, D.C.}, url = {https://www.usenix.org/conference/woot15/workshop-program/presentation/beurdouche}, publisher = {USENIX Association}, month = aug } @inproceedings {180387, author = {Karthikeyan Bhargavan and Antoine Delignat-Lavaud and Sergio Maffeis}, title = {Language-based Defenses Against Untrusted Browser Origins}, booktitle = {22nd USENIX Security Symposium (USENIX Security 13)}, year = {2013}, isbn = {978-1-931971-03-4}, address = {Washington, D.C.}, pages = {653--670}, url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/bhargavan}, publisher = {USENIX Association}, month = aug }