Browsing by Author Amtoft, T
Showing results 1 to 1 of 1
| 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 |