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 - Japon)
https://hal.inria.fr/hal-01102293
Contributeur : Bruno Blanchet
<>
Soumis le : lundi 12 janvier 2015 - 14:41:38
Dernière modification le : jeudi 19 juillet 2018 - 20:18:02
Gergei Bana, Koji Hasebe, Mitsuhiro Okada. Computationally Complete Symbolic Adversary and Key Exchange. 31st Symposium on Cryptography and Information Security, 2014, Kagoshima, Japan. 2014. 〈hal-01102293〉
