Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
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-Dec-2013Mostly sound type system improves a foundational program verifierDodds, J; Appel, Andrew W.
16-Apr-2015Verification of a Cryptographic Primitive: SHA-256Appel, Andrew W.
22-Oct-2012Verified heap theorem prover by paramodulationStewart, G; Beringer, L; Appel, Andrew W.
1-Jan-2014Portable software fault isolationKroll, JA; Stewart, G; Appel, Andrew W.
2015Verified correctness and security of OpenSSL HMACBeringer, L; Petcher, A; Ye, K; Appel, Andrew W.
1-Jan-2014Verified compilation for shared-memory CBeringer, L; Stewart, G; Dockins, R; Appel, Andrew W.
28-Nov-2011VeriSmall: Verified smallfoot shape analysisAppel, Andrew W.
23-Jan-2016Analogous Convergence of Sustained and Transient Inputs in Parallel On and Off Pathways for Retinal Motion ComputationGreene, MJ; Kim, JS; Seung, H. Sebastian
15-Oct-2015Depth from shading, defocus, and correspondence using light-field angular coherenceTao, MW; Srinivasan, PP; Malik, J; Rusinkiewicz, Syzmon; Ramamoorthi, R