Browsing by Author Beringer, L
Showing results 1 to 4 of 4
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2012 | A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow | Amtoft, T; Dodds, J; Zhang, Z; Appel, Andrew W.; Beringer, L; et al |
| 1-Jan-2014 | Verified compilation for shared-memory C | Beringer, L; Stewart, G; Dockins, R; Appel, Andrew W. |
| 2015 | Verified correctness and security of OpenSSL HMAC | Beringer, L; Petcher, A; Ye, K; Appel, Andrew W. |
| 22-Oct-2012 | Verified heap theorem prover by paramodulation | Stewart, G; Beringer, L; Appel, Andrew W. |