Skip to Main content Skip to Navigation
Conference papers

Computationally Complete Symbolic Adversary and Key Exchange

Document type :
Conference papers
Complete list of metadata

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

Identifiers

  • HAL Id : hal-01102293, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

116