On Post-Compromise Security. - Katriel Cohn-Gordon; Cas Cremers; Luke Garratt (IACR Cryptol. ePrint Arch., 2016)

Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet. - Katriel Cohn-Gordon; Cas Cremers (IACR Cryptol. ePrint Arch., 2017)

On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. - Katriel Cohn-Gordon; Cas Cremers; Luke Garratt; Jon Millican; Kevin Milner (IACR Cryptol. ePrint Arch., 2017)

On secure messaging. - Katriel Cohn-Gordon (2018)

Highly Efficient Key Exchange Protocols with Optimal Tightness. - Katriel Cohn-Gordon; Cas Cremers; Kristian Gjøsteen; Håkon Jacobsen; Tibor Jager (CRYPTO (3), 2019)

Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters. - Katriel Cohn-Gordon; Cas Cremers; Kristian Gjøsteen; Håkon Jacobsen; Tibor Jager (IACR Cryptol. ePrint Arch., 2019)

Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. - Dennis Jackson; Cas Cremers; Katriel Cohn-Gordon; Ralf Sasse (IACR Cryptol. ePrint Arch., 2019)

DELF: Safeguarding deletion correctness in Online Social Networks. - Katriel Cohn-Gordon; Georgios Damaskinos; Divino Neto; Joshi Cordova; Benoît Reitz; Benjamin Strahs; Daniel Obenshain; Paul Pearce; Ioannis Papagiannis; Available Media (USENIX Security Symposium, 2020)

A Formal Security Analysis of the Signal Messaging Protocol. - Katriel Cohn-Gordon; Cas Cremers; Benjamin Dowling; Luke Garratt; Douglas Stebila (J. Cryptol., 2020)

Accountable Javascript Code Delivery. - Ilkan Esiyok; Pascal Berrang; Katriel Cohn-Gordon; Robert Künnemann (NDSS, 2023)

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data. - Will Shackleton; Katriel Cohn-Gordon; Peter C. Rigby; Rui Abreu 001; James Gill; Nachiappan Nagappan; Karim Nakad; Ioannis Papagiannis; Luke Petre; Giorgi Megreli; Patrick Riggs; James Saindon (ESEC/SIGSOFT FSE, 2023)

The Messaging Layer Security (MLS) Protocol. - Richard Barnes 001; Benjamin Beurdouche; Raphael Robert; Jon Millican; Emad Omara; Katriel Cohn-Gordon (RFC, 2023)

Unified Lineage System: Tracking Data Provenance at Scale. - Gabriela Jacques-Silva; Evangelia Kalyvianaki; Katriel Cohn-Gordon; Adham Meguid; Huy Nguyen; Danny Ben-David; Carl Nayak; Varun Saravagi; George Stasa; Ioannis Papagiannis; David Taïeb; Kalkidan Tamirat; et al. (SIGMOD Conference Companion, 2025)