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