@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}
  }