Generic Plaintext Equality and Inequality Proofs.

Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner

Browse the full FC paper archive.