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