Number of items: 2.
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.
Ngo, Long and Boyd, Colin and Nieto, Juan Gonzalez
(2011)
Automated proofs for Diffie-Hellman-based key exchanges.
This list was generated on Sun Nov 24 04:37:03 2024 CET.