| Cyberassured Systems Engineering at Scale | 0 | 0.34 | 2022 |
| Formal Reasoning Under Cached Address Translation | 1 | 0.35 | 2020 |
| seL4 in Australia: from research to real-world trustworthy systems | 0 | 0.34 | 2020 |
| Towards Provable Timing-Channel Prevention | 0 | 0.34 | 2020 |
| Can We Prove Time Protection? | 0 | 0.34 | 2019 |
| A Formal Approach to Constructing Secure Air Vehicle Software. | 4 | 0.57 | 2018 |
| Formally verified software in the real world. | 4 | 0.43 | 2018 |
| Bringing Effortless Refinement of Data Layouts to Cogent. | 1 | 0.35 | 2018 |
| Introduction to <Emphasis Type="Italic">Milestones in Interactive Theorem Proving</Emphasis> | 2 | 0.40 | 2018 |
| The Cogent Case for Property-Based Testing. | 0 | 0.34 | 2017 |
| Reasoning about Translation Lookaside Buffers. | 1 | 0.35 | 2017 |
| Finite Machine Word Library. | 0 | 0.34 | 2016 |
| COGENT: Certified Compilation for a Functional Systems Language. | 1 | 0.36 | 2016 |
| Refinement through restraint: bringing down the cost of verification. | 8 | 0.55 | 2016 |
| A Framework For The Automatic Formal Verification Of Refinement From Cogent To C | 3 | 0.39 | 2016 |
| Interactive Theorem Proving | 0 | 0.34 | 2016 |
| Cogent: verifying high-assurance file system implementations | 19 | 0.74 | 2016 |
| Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). | 0 | 0.34 | 2015 |
| Empirical study towards a leading indicator for cost of formal software verification | 7 | 0.52 | 2015 |
| An empirical research agenda for understanding formal methods productivity. | 4 | 0.43 | 2015 |
| Automated verification of RPC stub code | 1 | 0.35 | 2015 |
| Productivity for proof engineering | 3 | 0.40 | 2014 |
| Proof Engineering Considered Essential. | 1 | 0.35 | 2014 |
| Comprehensive formal verification of an OS microkernel | 80 | 2.54 | 2014 |
| Don't sweat the small stuff: formal verification of C code without the pain | 9 | 0.57 | 2014 |
| File systems deserve verification too! | 10 | 0.54 | 2014 |
| Concerned with the unprivileged: user programs in kernel refinement | 2 | 0.40 | 2014 |
| Formally Verified System Initialisation. | 5 | 0.44 | 2013 |
| Towards a verified component platform | 1 | 0.35 | 2013 |
| Translation validation for a verified OS kernel | 41 | 1.26 | 2013 |
| Formal specifications better than function points for code sizing | 5 | 0.44 | 2013 |
| Noninterference for operating system kernels | 18 | 0.74 | 2012 |
| Separation Algebra. | 0 | 0.34 | 2012 |
| It's Time for Trustworthy Systems | 6 | 0.64 | 2012 |
| Challenges and experiences in managing large-scale proofs | 11 | 0.59 | 2012 |
| Bridging the Gap: Automatic Verified Abstraction of C. | 19 | 0.79 | 2012 |
| Mechanised Separation Algebra. | 6 | 0.48 | 2012 |
| Large-scale formal verification in practice: a process perspective | 9 | 0.67 | 2012 |
| AI@NICTA. | 0 | 0.34 | 2012 |
| Simulation modeling of a large-scale formal verification process | 4 | 0.46 | 2012 |
| seL4 enforces integrity | 24 | 1.03 | 2011 |
| Provable Security: how feasible is it? | 6 | 0.52 | 2011 |
| The road to trustworthy systems | 3 | 0.42 | 2010 |
| capDL: a language for describing capability-based systems | 12 | 0.71 | 2010 |
| A formally verified OS kernel. now what? | 2 | 0.39 | 2010 |
| From a verified kernel towards verified systems | 7 | 0.49 | 2010 |
| seL4: formal verification of an operating-system kernel | 84 | 5.86 | 2010 |
| The L4.verified project: next steps | 0 | 0.34 | 2010 |
| Types, Maps and Separation Logic | 4 | 0.78 | 2009 |
| Mind the Gap | 0 | 0.34 | 2009 |
