Generic Transformations of Predicate Encodings: Constructions and Applications

Article Details
Title:	Generic Transformations of Predicate Encodings: Constructions and Applications
Article URLs:	https://doi.org/10.1007/978-3-319-63688-7_2
Alternative Article URLs:	https://eprint.iacr.org/2016/1105
Authors:	Miguel Ambrona	IMDEA Software Institute Universidad Politécnica de Madrid
	Gilles Barthe	IMDEA Software Institute
	Benedikt Schmidt	Google
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/miguel-ambrona/abe-relic
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/crypto/AmbronaBS17
Author Comments:

Advances in Cryptology, CRYPTO 2017