Items where Division is "Cas Cremers (CC)" and Year is 2017

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

Basin, David and Cremers, Cas and Dreier, Jannik and Sasse, Ralf
(2017) Symbolically Analyzing Security Protocols Using Tamarin.
SIGLOG News, 4 (4). pp. 19-30.

Boyd, Colin and Cremers, Cas and Feltz, Michèle and Paterson, Kenneth G. and Poettering, Bertram and Stebila, Douglas
(2017) ASICS: Authenticated Key Exchange Security Incorporating Certification Systems.
International Journal of Information Security, 16 (2). pp. 151-171.

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

Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2017) Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.
In: 22nd European Symposium on Research in Computer Security (ESORICS 2017).
Conference: ESORICS European Symposium On Research In Computer Security

Milner, Kevin and Cremers, Cas and Jiangshan, Yu and Ryan, Mark
(2017) Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.
In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

This list was generated on Sun Nov 24 10:37:02 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.