Skip to Main content Skip to Navigation
Conference papers

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 - Université Paris sciences et lettres
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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01599851
Contributor : Romain Gay <>
Submitted on : Monday, October 2, 2017 - 3:40:53 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Identifiers

  • HAL Id : hal-01599851, version 1

Collections

CNRS | ENS-PARIS | INRIA | PSL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

295

 

Contact                    Legal Notice                    Personal Data