@inproceedings {287304, author = {Th{\'e}ophile Wallez and Jonathan Protzenko and Benjamin Beurdouche and Karthikeyan Bhargavan}, title = {{TreeSync}: Authenticated Group Management for Messaging Layer Security}, booktitle = {32nd USENIX Security Symposium (USENIX Security 23)}, year = {2023}, isbn = {978-1-939133-37-3}, address = {Anaheim, CA}, pages = {1217--1233}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/wallez}, publisher = {USENIX Association}, month = aug } @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 }