Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.

Patrick Baillot
Laboratoire de l'Informatique du Parallélisme
Preuves et Langages
Gilles Barthe
  • Fonction : Auteur
  • PersonId : 962305
Institute IMDEA Software [Madrid]
Ugo Dal Lago
  • Fonction : Auteur
  • PersonId : 833215
Dipartimento di Scienze dell'Informazione [Bologna]

Domaines

Informatique [cs] Logique en informatique [cs.LO]

Patrick Baillot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01948334

Soumis le : vendredi 7 décembre 2018-15:26:34

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Fichier non déposé

Dates et versions

hal-01948334 , version 1 (07-12-2018)

Identifiants

  • HAL Id : hal-01948334 , version 1

Citer

Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.. Logic for Programming, Artificial Intelligence, and Reasoning - 20thInternational Conference, LPAR-20, Nov 2015, Suva, Fiji. pp.203-218. ⟨hal-01948334⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LABEX-MILYON UDL ANR
37 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More