Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions

Miguel Ambrona 1 Gilles Barthe 1 Romain Gay 2, 3 Hoeteck Wee 3, 2
1 Institute IMDEA Software [Madrid]
2 PSL - PSL Research University
3 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria de Paris
Type de document :
Communication dans un congrès
ACM Conference on Computer and Communications Security (CCS) 2017, Oct 2017, Dallas, United States
Liste complète des métadonnées
https://hal.inria.fr/hal-01599851
Contributeur : Romain Gay <>
Soumis le : lundi 2 octobre 2017 - 15:40:53
Dernière modification le : jeudi 26 avril 2018 - 10:29:02

Identifiants

  • HAL Id : hal-01599851, version 1

Collections

ENS-PARIS | PSL | INRIA2017 | INRIA | INRIA-ROCQ

Citation

Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee. Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. ACM Conference on Computer and Communications Security (CCS) 2017, Oct 2017, Dallas, United States. 〈hal-01599851〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

223

Contact


archive-ouverte@inria.fr