Katriel Cohn-Gordon

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