Login / Signup

Lattice-Based Proof of a Shuffle.

Núria CostaRamiro MartínezPaz 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