@inproceedings{Biggs_LH_18, address = {Korea}, author = {Biggs, Simon and Lee, Damon and Heiser, Gernot}, booktitle = {Asia-Pacific Workshop on Systems (APSys)}, date = {2018-8-27}, doi = {https://doi.org/10.1145/3265723.3265733}, keywords = {Linux, microkernel, {seL4}, verification, exploit, operating system structure}, month = aug, numpages = {7}, paperurl = {https://trustworthy.systems/publications/full_text/Biggs_LH_18.pdf}, publisher = {ACM SIGOPS}, title = {The Jury Is In: Monolithic {OS} Design Is Flawed}, year = {2018} }