Generic Plaintext Equality and Inequality Proofs.

Olivier Blazy Xavier Bultel Pascal Lafourcade Octavio Perez-Kempner

Published in: Financial Cryptography (1) (2021)

Keyphrases

domain specific
expert systems
formal proofs
theorem proving
generic model
real time
data sets
database systems
rough sets
security analysis
ciphertext
formal proof
equational theories
mathematical proofs