International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Generic Transformations of Predicate Encodings: Constructions and Applications

Authors:
Miguel Ambrona
Gilles Barthe
Benedikt Schmidt
Download:
DOI: 10.1007/978-3-319-63688-7_2 (login may be required)
Search ePrint
Search Google
Conference: CRYPTO 2017
Video from CRYPTO 2017
BibTeX
@inproceedings{crypto-2017-28209,
  title={Generic Transformations of Predicate Encodings: Constructions and Applications},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={36-66},
  doi={10.1007/978-3-319-63688-7_2},
  author={Miguel Ambrona and Gilles Barthe and Benedikt Schmidt},
  year=2017
}