![](/img/cover-not-exists.png)
Automated Proof and Flaw-Finding Tools in Cryptography
Steel, GrahamVolume:
13
Language:
english
Journal:
IEEE Security & Privacy
DOI:
10.1109/msp.2015.22
Date:
March, 2015
File:
PDF, 119 KB
english, 2015