Login / Signup

Reconstruction of Attacks against Cryptographic Protocols.

Xavier AllamigeonBruno Blanchet
Published in: CSFW (2005)
Keyphrases
  • cryptographic protocols
  • security protocols
  • security properties
  • insider attacks
  • standard model
  • authentication protocol
  • database
  • formal verification
  • private information retrieval
  • locally decodable codes