Towards KEM Unification.

Daniel J. Bernstein Edoardo Persichetti

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

higher order
theorem proving
equational theories
theorem prover
information systems
management system
function symbols