Conference Papers
Year : 2014
Bruno Blanchet : Connect in order to contact the contributor
https://inria.hal.science/hal-01102293
Submitted on : Monday, January 12, 2015-2:41:38 PM
Last modification on : Tuesday, July 5, 2022-8:38:47 AM
Dates and versions
Identifiers
- HAL Id : hal-01102293 , version 1
Cite
Gergei Bana, Koji Hasebe, Mitsuhiro Okada. Computationally Complete Symbolic Adversary and Key Exchange. 31st Symposium on Cryptography and Information Security, 2014, Kagoshima, Japan. ⟨hal-01102293⟩
51
View
0
Download