@inproceedings{Ryzhyk_KMRVH_11,
    address          = {Newport Beach, CA, USA},
    author           = {Ryzhyk, Leonid and Keys, John and Mirla, Balachandra and Raghunath, Arun and Vij, Mona and Heiser,
                        Gernot},
    booktitle        = {International Conference on Architectural Support for Programming Languages and Operating Systems},
    month            = mar,
    pages            = {1--12},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4136.pdf},
    title            = {Improved Device Driver Reliability Through Hardware Verification Reuse},
    year             = {2011}
  }