eprint.iacr.org will be offline for approximately an hour for routine maintenance again at 10pm UTC on Wednesday, April 17.

Paper 2016/1105

Generic Transformations of Predicate Encodings: Constructions and Applications

Miguel Ambrona, Gilles Barthe, and Benedikt Schmidt


Predicate encodings (Wee, TCC 2014; Chen, Gay, Wee, EUROCRYPT 2015), are symmetric primitives that can be used for building predicate encryption schemes. We give an algebraic characterization of the notion of privacy from predicate encodings, and explore several of its consequences. Specifically, we propose more efficient predicate encodings for boolean formulae and arithmetic span programs, and generic optimizations of predicate encodings. We define new constructions to build boolean combination of predicate encodings. We formalize the relationship between predicate encodings and pair encodings (Attrapadung, EUROCRYPT 2014), another primitive that can be transformed generically into predicate encryption schemes, and compare our constructions for boolean combinations of pair encodings with existing similar constructions from pair encodings. Finally, we demonstrate that our results carry to tag-based encodings (Kim, Susilo, Guo, and Au, SCN 2016).

Available format(s)
Public-key cryptography
Publication info
A minor revision of an IACR publication in CRYPTO 2017
Predicate EncryptionAttribute-Based EncryptionPredicate EncodingsModular frameworks
Contact author(s)
miguel ambrona @ imdea org
2017-07-03: last of 3 revisions
2016-11-23: received
See all versions
Short URL
Creative Commons Attribution


      author = {Miguel Ambrona and Gilles Barthe and Benedikt Schmidt},
      title = {Generic Transformations of Predicate Encodings: Constructions and Applications},
      howpublished = {Cryptology ePrint Archive, Paper 2016/1105},
      year = {2016},
      note = {\url{https://eprint.iacr.org/2016/1105}},
      url = {https://eprint.iacr.org/2016/1105}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.