Verified Cryptographic Implementations for TLS
| Title | Verified Cryptographic Implementations for TLS |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Bhargavan, K, Fournet, C, Corin, R, Zalinescu, E |
| Journal | ACM Trans. Inf. Syst. Secur. |
| Volume | 15 |
| Pagination | 3 |
Work Package:
WP3
