Computationally Sound Secrecy Proofs by Mechanized Flow Analysis

Backes, Michael and Laud, Peeter
(2006) Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.
In: Proceedings of 13th ACM Conference on Computer and Communications Security (CCS).
Conference: CCS - ACM Conference on Computer and Communications Security

[img]
Preview
Text
c44-final.pdf - Published Version

Download (429kB) | Preview

Actions

Actions (login required)

View Item View Item