Number of items: 2.
Conference or Workshop Item (A Paper)
Ngo, Long and Boyd, Colin and Nieto, Juan Gonzalez
(2011)
Automated proofs for Diffie-Hellman-based key exchanges.
Article
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.
This list was generated on Thu Nov 21 16:48:12 2024 CET.