Katriel Cohn-Gordon

Orcid: 0000-0002-4356-3765

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The Messaging Layer Security (MLS) Protocol.
RFC, July, 2023

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Accountable Javascript Code Delivery.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2020
A Formal Security Analysis of the Signal Messaging Protocol.
J. Cryptol., 2020

DELF: Safeguarding deletion correctness in Online Social Networks.
Proceedings of the 29th USENIX Security Symposium, 2020

2019
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.
IACR Cryptol. ePrint Arch., 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters.
IACR Cryptol. ePrint Arch., 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness.
Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018
On secure messaging.
PhD thesis, 2018

2017
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
IACR Cryptol. ePrint Arch., 2017

Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet.
IACR Cryptol. ePrint Arch., 2017

2016
On Post-Compromise Security.
IACR Cryptol. ePrint Arch., 2016


  Loading...