Katriel Cohn-Gordon

According to our database, Katriel Cohn-Gordon authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Messaging Layer Security (MLS) Protocol.

Richard Barnes, Benjamin Beurdouche, Raphael Robert, Jon Millican, Emad Omara, Katriel Cohn-Gordon

RFC, July, 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, James Gill, Nachiappan Nagappan, Karim Nakad, Ioannis Papagiannis, Luke Petre, Giorgi Megreli, Patrick Riggs, James Saindon

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Accountable Javascript Code Delivery.

Ilkan Esiyok, Pascal Berrang, Katriel Cohn-Gordon, Robert Künnemann

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2020

A Formal Security Analysis of the Signal Messaging Protocol.

Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila

J. Cryptol., 2020

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

Proceedings of the 29th USENIX Security Symposium, 2020

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

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

Highly Efficient Key Exchange Protocols with Optimal Tightness.

Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

On secure messaging.

Katriel Cohn-Gordon

PhD thesis, 2018

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

Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet.

Katriel Cohn-Gordon, Cas Cremers

IACR Cryptol. ePrint Arch., 2017

2016

On Post-Compromise Security.

Katriel Cohn-Gordon, Cas Cremers, Luke Garratt

IACR Cryptol. ePrint Arch., 2016