@inproceedings{Klein_EHACDEEKNSTW_09, address = {Big Sky, MT, USA}, author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and Andronick, June and Cock, David and Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael and Sewell, Thomas and Tuch, Harvey and Winwood, Simon}, booktitle = {ACM Symposium on Operating Systems Principles}, keywords = {sel4, microkernel, isabelle, formal verification}, month = oct, pages = {207--220}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/1852.pdf}, publisher = {ACM}, slides = {https://trustworthy.systems/publications/nicta_slides/1852.pdf}, title = {{seL4}: Formal Verification of an {OS} Kernel}, video = {https://www.sigops.org/s/conferences/sosp/2009/videos/15_gerwin_klein.ogg}, year = {2009} }