6 search results - page 2 / 2 » Generic Security-Amplifying Methods of Ordinary Digital Sign... |
143
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...