Login / Signup

Computationally sound secrecy proofs by mechanized flow analysis.

Michael BackesPeeter Laud
Published in: CCS (2006)
Keyphrases
  • flow analysis
  • information flow
  • theorem proving
  • decision procedures
  • security properties
  • forensic analysis
  • mathematical proofs
  • decision making
  • key distribution
  • formal proof
  • security analysis