Search
Add filters:
Use filters to refine the search results.
Item hits:
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-Dec-2013 | Mostly sound type system improves a foundational program verifier | Dodds, J; Appel, Andrew W. |
16-Apr-2015 | Verification of a Cryptographic Primitive: SHA-256 | Appel, Andrew W. |
22-Oct-2012 | Verified heap theorem prover by paramodulation | Stewart, G; Beringer, L; Appel, Andrew W. |
1-Jan-2014 | Portable software fault isolation | Kroll, JA; Stewart, G; Appel, Andrew W. |
2015 | Verified correctness and security of OpenSSL HMAC | Beringer, L; Petcher, A; Ye, K; Appel, Andrew W. |
1-Jan-2014 | Verified compilation for shared-memory C | Beringer, L; Stewart, G; Dockins, R; Appel, Andrew W. |
28-Nov-2011 | VeriSmall: Verified smallfoot shape analysis | Appel, Andrew W. |
2011 | Online variational inference for the hierarchical Dirichlet process | Wang, C; Paisley, J; Blei, DM |
2021 | Active multi-fidelity Bayesian online changepoint detection | Gundersen, Gregory W.; Cai, Diana; Zhou, Chuteng; Engelhardt, Barbara E.; Adams, Ryan P. |