Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.

Michael Backes Peeter Laud

Published in: IACR Cryptol. ePrint Arch. (2006)

Keyphrases

flow analysis
information flow
forensic analysis
theorem proving
equational theories
theorem prover
computer programs
spread spectrum
natural deduction
formal proofs