@inproceedings{Blackham_Heiser_13,
    address          = {Philadelphia, USA},
    author           = {Blackham, Bernard and Heiser, Gernot},
    booktitle        = {IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
    editor           = {{Eduardo Tovar}},
    isbn             = {978-1-4799-0184-5},
    keywords         = {verification, trustworthy systems},
    month            = apr,
    pages            = {97--106},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6405.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/6405.pdf},
    title            = {Sequoll: a framework for model checking binaries},
    year             = {2013}
  }