Skip to main content

Browsing by Author Beringer, L

Showing results 1 to 4 of 4
Publication DateArticle TitleAuthor(s)
2012A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information FlowAmtoft, T; Dodds, J; Zhang, Z; Appel, Andrew W.; Beringer, L; et al
1-Jan-2014Verified compilation for shared-memory CBeringer, L; Stewart, G; Dockins, R; Appel, Andrew W.
2015Verified correctness and security of OpenSSL HMACBeringer, L; Petcher, A; Ye, K; Appel, Andrew W.
22-Oct-2012Verified heap theorem prover by paramodulationStewart, G; Beringer, L; Appel, Andrew W.