Login / Signup
Computationally sound implementations of equational theories against passive adversaries.
Mathieu Baudet
Véronique Cortier
Steve Kremer
Published in:
IACR Cryptol. ePrint Arch. (2005)
Keyphrases
</>
equational theories
efficient implementation
neural network
artificial intelligence
theorem proving
function symbols