2Department of Computer Science [Tsukuba] (Room 3F900, Building F, Third area, University of Tsukuba, Tenoudai 1-1-1, Tsukuba science city, Ibaraki 305-8573, Japan - Japan)
https://hal.inria.fr/hal-01102293
Contributor : Bruno Blanchet <>
Submitted on : Monday, January 12, 2015 - 2:41:38 PM Last modification on : Thursday, March 5, 2020 - 4:52:23 PM
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⟩