Open AccessGeneric Plaintext Equality and Inequality Proofs
Author(s) -
Olivier Blazy,
Xavier Bultel,
Pascal Lafourcade,
Octavio Perez-Kempner
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1007/978-3-662-64322-8\_20
Subject(s) - mathematical proof , inequality , mathematics , computer science , plaintext , algebra over a field , discrete mathematics , pure mathematics , computer security , encryption , mathematical analysis , geometry