Seguir
Katriel Cohn-Gordon
Katriel Cohn-Gordon
Meta
Dirección de correo verificada de katriel.co.uk - Página principal
Título
Citado por
Citado por
Año
A Formal Security Analysis of the Signal Messaging Protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
IEEE EuroS&P 2017, 2017
4712017
On Post-Compromise Security
K Cohn-Gordon, C Cremers, L Garratt
IEEE CSF 2016, 2016
2252016
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner
ACM CCS 2018, 2018
1752018
RFC 9420: The Messaging Layer Security (MLS) Protocol
R Barnes, J Millican, E Omara, K Cohn-Gordon, R Robert
IETF MLS working group, 2023
132*2023
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that use Signatures
D Jackson, C Cremers, K Cohn-Gordon, R Sasse
ACM CCS 2019, 2019
522019
Highly Efficient Key Exchange Protocols with Optimal Tightness
K Cohn-Gordon, C Cremers, K Gjøsteen, H Jacobsen, T Jager
IACR CRYPTO 2019, 2019
492019
DELF: Safeguarding deletion correctness in Online Social Networks
K Cohn-Gordon, G Damaskinos, Divino Neto, J Cordova, B Reitz, ...
USENIX Security 2020, 2020
192020
Commitment Algorithms
K Cohn-Gordon
University of Oxford, 2012
92012
Mind the Gap: Where Provable Security and Real-World Messaging Don’t Quite Meet
K Cohn-Gordon, C Cremers
Unpublished note, 2017
62017
On Secure Messaging
K Cohn-Gordon
University of Oxford, 2018
22018
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
W Shackleton, K Cohn-Gordon, PC Rigby, R Abreu, J Gill, N Nagappan, ...
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
2023
Cookie Infrastructure at Meta
K Cohn-Gordon
2023
Accountable Javascript Code Delivery
I Esiyok, R Kuennemann, P Berrang, K Cohn-Gordon
NDSS 2023, 2022
2022
Security of Certificate Transparency
K Cohn-Gordon
CDT Technical Paper Series, 2014
2014
Static Protocols and Deniability
K Cohn-Gordon
CDT Technical Paper Series, 2014
2014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15