Login / Signup
Lattice-Based Proof of a Shuffle.
Núria Costa
Ramiro Martínez
Paz Morillo
Published in:
Financial Cryptography Workshops (2019)
Keyphrases
</>
theorem prover
decision trees
mobile robot
database
data mining
multi agent
probability distribution
theorem proving
mathematical proofs
geometry theorem proving