@inproceedings{Klein_Tuch_04,
    month            = sep,
    paperurl         = {https://trustworthy.systems/publications/papers/Klein_Tuch_04.pdf},
    editor           = {Konrad Slind},
    author           = {Gerwin Klein and Harvey Tuch},
    year             = {2004},
    address          = {Park City, Utah, USA},
    booktitle        = {TPHOLs Emerging Trends '04},
    title            = {Towards Verified Virtual Memory in {L4}},
    pages            = {16 pages}
  }