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 }