Author of the publication

On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.

, , , , and . IACR Cryptology ePrint Archive, (2017)

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

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)Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet., and . IACR Cryptology ePrint Archive, (2017)Accountable Javascript Code Delivery., , , and . CoRR, (2022)The Messaging Layer Security (MLS) Protocol., , , , , and . RFC, (July 2023)Accountable Javascript Code Delivery., , , and . NDSS, The Internet Society, (2023)A Formal Security Analysis of the Signal Messaging Protocol., , , , and . J. Cryptol., 33 (4): 1914-1983 (2020)