Generic Transformations of Predicate Encodings: Constructions and Applications.

Miguel Ambrona, Gilles Barthe, Benedikt Schmidt

Browse the full CRYPTO paper archive.