Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 - ENS Paris, 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 Connect in order to contact the contributor
Submitted on : Monday, October 2, 2017 - 3:40:53 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:03 PM

Identifiers

  • HAL Id : hal-01599851, version 1

Collections

ENS-PARIS | CNRS | INRIA | INRIA2 | 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 Datacite

Share

Metrics

Record views

149

 

Contact                    Legal Notice                    Personal Data