@inproceedings{Syeda_Klein_18,
    address          = {Oxford, UK},
    author           = {Syeda, Hira Taqdees and Klein, Gerwin},
    booktitle        = {International Conference on Interactive Theorem Proving},
    date             = {2018-7-20},
    doi              = {https://doi.org/10.1007/978-3-319-94821-8\_32},
    month            = jul,
    pages            = {542-559},
    paperurl         = {https://trustworthy.systems/publications/full_text/Syeda_Klein_18.pdf},
    publisher        = {Lecture Notes in Computer Science},
    title            = {Program Verification in the Presence of Cached Address Translation},
    volume           = {10895},
    year             = {2018}
  }