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 : Wednesday, October 25, 2023-4:18:03 PM
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⟩
52
View
0
Download