• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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