Skip to main content

Browsing by Author Petcher, A

Showing results 1 to 1 of 1
Publication DateArticle TitleAuthor(s)
2015Verified correctness and security of OpenSSL HMACBeringer, L; Petcher, A; Ye, K; Appel, Andrew W.