Statistics
Publications
3
Citations
242
H-Index
3
Active since
2011
Affiliations
Data61(Current)
Peter Gammie is an author at Data61 specializing in computing, computer science, and deductive verification.
Publications per year
2011–2015
3
3
seL4: From General Purpose to a Proof of Information Flow Enforcement
Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 204 citations · Full text
Provable Security: how feasible is it?
Gerwin Klein, Toby Murray, Peter Gammie et al. · 2011 · 11 citations
1–3 of 3