Items where Author is "Cohn-Gordon, Katriel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Conference or Workshop Item (A Paper)

Jackson, Dennis and Cremers, Cas and Cohn-Gordon, Katriel and Sasse, Ralf
(2019) Seems Legit: Automated Analysis of Subtle Attacks on Protocols that use Signatures.
In: 26th ACM Conference on Computer and Communications Security, November 11th-15th, 2019, London, UK.
Conference: CCS ACM Conference on Computer and Communications Security
(In Press)

Cohn-Gordon, Katriel and Cremers, Cas and Gjøsteen, Kristian and Jacobsen, Hakon and Jager, Tibor
(2019) Highly Efficient Key Exchange Protocols with Optimal Tightness: Enabling real-world deployments with theoretically sound parameters.
In: 39th International Cryptology Conference (CRYPTO 2019), August 18-22, 2019, Santa Barbara.
Conference: CRYPTO Advances in Cryptology
(In Press)

Cohn-Gordon, Katriel and Cremers, Cas and Garratt, Luke and Millican, Jon and Milner, Kevin
(2018) On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
In: ACM CCS 2018, 15-19 Oct 2018, Toronto, Canada.
Conference: CCS ACM Conference on Computer and Communications Security

Cohn-Gordon, Katriel and Cremers, Cas and Dowling, Benjamin and Stebila, Douglas
(2017) A Formal Security Analysis of the Signal Messaging Protocol.
In: 2nd IEEE European Symposium on Security and Privacy.
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Article

Cohn-Gordon, Katriel and Cremers, Cas and Dowling, Benjamin and Garratt, Luke and Stebila, Douglas
(2020) A Formal Security Analysis of Key Establishment in the Signal Messaging Protocol.
Journal of Cryptology.
(In Press)

This list was generated on Mon Dec 5 00:04:30 2022 CET.