Browsing by Author Dodds, J
Showing results 1 to 2 of 2
| 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. |