International Association for Cryptologic Research
IACR paper details
| Title | Generic Transformations of Predicate Encodings: Constructions and Applications |
|---|---|
| Booktitle | CRYPTO |
| Pages | 36-66 |
| Year | 2017 |
| URL | Search for the paper |
| DOI | 10.1007/978-3-319-63688-7_2 (link) |
| Author | Miguel Ambrona |
| Author | Gilles Barthe |
| Author | Benedikt Schmidt |
@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
}