Items where Subject is "Research Areas [2025] > RA2: Formal Methods and Software Security"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: C | T
Number of items at this level: 4.

C

Cohn-Gordon, Katriel and Cremers, Cas and Garratt, Luke and Millican, Jon and Milnber, Kevin
(2018) On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
(In Press)

Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2018) Secure Authentication in the Grid: A Formal Analysis of DNP3 SAv5.
Journal of Computer Security.
(In Press)

Cremers, Cas and Horvat, Marko and Hoyland, Jonathan and Scott, Sam and van der Merwe, Thyla
(2017) A Comprehensive Symbolic Analysis of TLS 1.3.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security.

T

Thanh Nguyen, Binh and Sprenger, Christoph and Cremers, Cas
(2018) Abstractions for security protocol verification.
Journal of Computer Security.
(In Press)

This list was generated on Sun Nov 18 00:02:28 2018 CET.