@inproceedings{Klein_2009,
    doi = {10.1145/1629575.1629596},
    url = {https://doi.org/10.1145%2F1629575.1629596},
    year = {2009},
    month = {oct},
    publisher = {{ACM}},
    author = {Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
    title = {{seL}4},
    booktitle = {Proceedings of the {ACM} {SIGOPS} 22nd symposium on Operating systems principles}
}

@inproceedings{Klein_2009, doi = {10.1145/1629575.1629596}, url = {https://doi.org/10.1145%2F1629575.1629596}, year = {2009}, month = {oct}, publisher = {{ACM}}, author = {Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood}, title = {{seL}4}, booktitle = {Proceedings of the {ACM} {SIGOPS} 22nd symposium on Operating systems principles} }