2011
2010
- seL4: formal verification of an operating-system kernelGerwin 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. CACM, 53(6):107-115, 2010. [doi]
2009
- seL4: formal verification of an OS kernelGerwin 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. sosp 2009: 207-220 [doi]
2008
2007
2006
2005
2004
2003
2001
1999