Browsing by Author Petcher, A
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2015 | Verified correctness and security of OpenSSL HMAC | Beringer, L; Petcher, A; Ye, K; Appel, Andrew W. |
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2015 | Verified correctness and security of OpenSSL HMAC | Beringer, L; Petcher, A; Ye, K; Appel, Andrew W. |