@inproceedings{Edwards_Heiser_01a,
    address          = {Schloss Elmau, DE},
    author           = {Antony Edwards and Gernot Heiser},
    booktitle        = {Workshop on Hot Topics in Operating Systems (HotOS)},
    month            = may,
    pages            = {168},
    paperurl         = {https://trustworthy.systems/publications/papers/Edwards_Heiser_01a.pdf},
    title            = {Secure {OS} Extensibility Needn't Cost an Arm and a Leg},
    year             = {2001}
  }