 | 2009 |
|---|
| 5 |       | 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 |
| 4 | | Simon Winwood,
Gerwin Klein,
Thomas Sewell,
June Andronick,
David Cock,
Michael Norrish:
Mind the Gap.
TPHOLs 2009: 500-515 |
| 2006 |
|---|
| 3 | | Simon Winwood,
Gerwin Klein,
Manuel M. T. Chakravarty:
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.
LOPSTR 2006: 111-126 |
| 2005 |
|---|
| 2 | | Simon Winwood,
Manuel M. T. Chakravarty:
Secure Untrusted Binaries - Provably!.
Formal Aspects in Security and Trust 2005: 171-186 |
| 2003 |
|---|
| 1 | | Adam Wiggins,
Simon Winwood,
Harvey Tuch,
Gernot Heiser:
Legba: Fast Hardware Support for Fine-Grained Protection.
Asia-Pacific Computer Systems Architecture Conference 2003: 320-336 |
