Login / Signup

Proof of a Shuffle for Lattice-Based Cryptography.

Núria CostaRamiro MartínezPaz Morillo
Published in: NordSec (2017)
Keyphrases
  • cellular automata
  • theorem proving
  • information security
  • linear logic
  • real time
  • search engine
  • case study
  • concept lattice
  • theorem prover
  • automated theorem proving
  • natural deduction