2 search results - page 1 / 1 » A Front-End Tool for Automated Abstraction and Modular Verif... |
ACSD
2004
IEEE
13 years 9 months ago
2004
IEEE
APLAS
2010
ACM
13 years 5 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...