Computationally Complete Symbolic Adversary and Key Exchange

Gergei Bana 1 Koji Hasebe 2 Mitsuhiro Okada 3
1 PROSECCO - Programming securely with cryptography
Inria Paris-Rocquencourt
2 Department of Computer Science [Tsukuba]
3 Keio University - Department of Philosophy
Type de document :
Communication dans un congrès
31st Symposium on Cryptography and Information Security, 2014, Kagoshima, Japan. 2014
Liste complète des métadonnées
https://hal.inria.fr/hal-01102293
Contributeur : Bruno Blanchet <>
Soumis le : lundi 12 janvier 2015 - 14:41:38
Dernière modification le : mardi 17 avril 2018 - 11:25:56

Identifiants

  • HAL Id : hal-01102293, version 1

Collections

INRIA

Citation

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

77

Contact


archive-ouverte@inria.fr