Katriel Cohn-Gordon

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 17

Top Venues

IACR Cryptol. ePrint Arch.

CCS

NDSS

EuroS&P

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Richard Barnes, Benjamin Beurdouche, Raphael Robert, Jon Millican, Emad Omara, Katriel Cohn-Gordon
The Messaging Layer Security (MLS) Protocol. RFC 9420 (2023)
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
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data. ESEC/SIGSOFT FSE (2023)
Ilkan Esiyok, Pascal Berrang, Katriel Cohn-Gordon, Robert Künnemann
Accountable Javascript Code Delivery. NDSS (2023)
Ilkan Esiyok, Robert Künnemann, Pascal Berrang, Katriel Cohn-Gordon
Accountable Javascript Code Delivery. CoRR (2022)
Katriel Cohn-Gordon, Georgios Damaskinos, Divino Neto, Joshi Cordova, Benoît Reitz, Benjamin Strahs, Daniel Obenshain, Paul Pearce, Ioannis Papagiannis, Available Media
DELF: Safeguarding deletion correctness in Online Social Networks. USENIX Security Symposium (2020)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. 33 (4) (2020)
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
Highly Efficient Key Exchange Protocols with Optimal Tightness. CRYPTO (3) (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptol. ePrint Arch. 2019 (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS (2019)
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters. IACR Cryptol. ePrint Arch. 2019 (2019)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. CCS (2018)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. IACR Cryptol. ePrint Arch. 2017 (2017)
Katriel Cohn-Gordon, Cas Cremers
Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet. IACR Cryptol. ePrint Arch. 2017 (2017)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P (2017)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
On Post-Compromise Security. IACR Cryptol. ePrint Arch. 2016 (2016)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
On Post-compromise Security. CSF (2016)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)

Katriel Cohn-Gordon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Katriel Cohn-Gordon