Number of items: 4.
Basin, David and Cremers, Cas and Kim, Tiffany Hyun-Jin and Perrig, Adrian and Sasse, Ralf and Szalachowski, Pavel
(2018)
Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure.
IEEE Transactions on Dependable and Secure Computing, 15 (3).
pp. 393-408.
Basin, David and Cremers, Cas and Meadows, Catherine A.
(2018)
Model Checking Security Protocols.
In:
Handbook of Model Checking.
Springer International Publishing, pp. 727-762.
ISBN 978-3-319-10574-1
Feltz, Michè€le and Cremers, Cas
(2018)
Strengthening the Security of Authenticated Key Exchange against Bad Randomness.
Designs, Codes and Cryptography, 86 (3).
pp. 481-516.
Yu, Jiangshan and Ryan, Mark and Cremers, Cas
(2018)
DECIM: Detecting Endpoint Compromise In Messaging.
IEEE Transactions on Information Forensics and Security, 13 (1).
pp. 106-118.
This list was generated on Thu Nov 21 13:14:30 2024 CET.
