![seL4]()
seL4Klein, Gerwin; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal · Communications of the ACM · 2010