5
Publications
464
Citations
5
H-Index
2016
Active since
Affiliations
Katriel Cohn-Gordon is an author at University of Oxford specializing in data security, cryptography, and formal verification.
Top concepts
EngineeringCryptographyData SecurityFormal VerificationInformation SecurityData PrivacyComputer ScienceVerificationSecure CommunicationSecurity
Publications per year
2016–2023
5
5
A Formal Security Analysis of the Signal Messaging Protocol
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling et al. · 2017 · 198 citations
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt · 2016 · 122 citations
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt et al. · 2018 · 100 citations · Full text
Cryptographic Primitive, Engineering, Strong Security Guarantees +18
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon et al. · 2019 · 28 citations
Digital Signatures, Existential Unforgeability, Engineering +11
Rows per page
1–5 of 5