Login / Signup

On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.

Michael BackesMarkus DürmuthRalf Küsters
Published in: FSTTCS (2007)
Keyphrases
  • high level
  • data sets
  • databases
  • learning algorithm
  • artificial intelligence
  • web pages