Login / Signup

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).

Martín AbadiPhillip Rogaway
Published in: J. Cryptol. (2007)
Keyphrases
  • encryption algorithms
  • single view
  • cellular automata
  • multiple views
  • ctl model update
  • formal model
  • public key cryptography
  • relational databases
  • information security