Author of the publication

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data.

, , , , , , , , , , , and . ESEC/SIGSOFT FSE, page 1705-1715. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Post-compromise Security., , and . CSF, page 164-178. IEEE Computer Society, (2016)Accountable Javascript Code Delivery., , , and . NDSS, The Internet Society, (2023)Highly Efficient Key Exchange Protocols with Optimal Tightness., , , , and . CRYPTO (3), volume 11694 of Lecture Notes in Computer Science, page 767-797. Springer, (2019)Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data., , , , , , , , , and 2 other author(s). ESEC/SIGSOFT FSE, page 1705-1715. ACM, (2023)A Formal Security Analysis of the Signal Messaging Protocol., , , , and . EuroS&P, page 451-466. IEEE, (2017)Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures., , , and . ACM Conference on Computer and Communications Security, page 2165-2180. ACM, (2019)On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees., , , , and . ACM Conference on Computer and Communications Security, page 1802-1819. ACM, (2018)On secure messaging.. University of Oxford, UK, (2018)British Library, EThOS.DELF: Safeguarding deletion correctness in Online Social Networks., , , , , , , , , and . USENIX Security Symposium, USENIX Association, (2020)A Formal Security Analysis of the Signal Messaging Protocol., , , , and . J. Cryptol., 33 (4): 1914-1983 (2020)