 | 2011 |
|---|
| 9 |       | Thomas Sewell,
Simon Winwood,
Peter Gammie,
Toby C. Murray,
June Andronick,
Gerwin Klein:
seL4 Enforces Integrity.
ITP 2011: 325-340 |
| 2010 |
|---|
| 8 | | June Andronick:
From a Proven Correct Microkernel to Trustworthy Large Systems.
FoVeOOS 2010: 1-9 |
| 7 | | Gerwin Klein,
June Andronick,
Kevin Elphinstone,
Gernot Heiser,
David Cock,
Philip Derrin,
Dhammika Elkaduwe,
Kai Engelhardt,
Rafal Kolanski,
Michael Norrish,
Thomas Sewell,
Harvey Tuch,
Simon Winwood:
seL4: formal verification of an operating-system kernel.
Commun. ACM 53(6): 107-115 (2010) |
| 2009 |
|---|
| 6 | | Gerwin Klein,
Kevin Elphinstone,
Gernot Heiser,
June Andronick,
David Cock,
Philip Derrin,
Dhammika Elkaduwe,
Kai Engelhardt,
Rafal Kolanski,
Michael Norrish,
Thomas Sewell,
Harvey Tuch,
Simon Winwood:
seL4: formal verification of an OS kernel.
SOSP 2009: 207-220 |
| 5 | | Simon Winwood,
Gerwin Klein,
Thomas Sewell,
June Andronick,
David Cock,
Michael Norrish:
Mind the Gap.
TPHOLs 2009: 500-515 |
| 2008 |
|---|
| 4 | | June Andronick,
Quang Huy Nguyen:
Certifying an embedded remote method invocation protocol.
SAC 2008: 352-359 |
| 2006 |
|---|
| 3 | | June Andronick:
Formally Proved Anti-tearing Properties of Embedded C Code.
ISoLA 2006: 129-136 |
| 2005 |
|---|
| 2 | | June Andronick,
Boutheina Chetali,
Christine Paulin-Mohring:
Formal Verification of Security Properties of Smart Card Embedded Source Code.
FM 2005: 302-317 |
| 2003 |
|---|
| 1 | | June Andronick,
Boutheina Chetali,
Olivier Ly:
Using Coq to Verify Java Card Applet Isolation Properties.
TPHOLs 2003: 335-351 |
Data released under the ODC-BY 1.0 license — See also our legal information page