Login / Signup
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