@inproceedings{Andronick_GE_10,
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3997.pdf},
    publisher        = {USENIX},
    booktitle        = {Systems Software Verification},
    editor           = {{Ralf Huuck, Gerwin Klein, Bastian Schlich}},
    author           = {Andronick, June and Greenaway, David and Elphinstone, Kevin},
    year             = {2010},
    pages            = {9},
    title            = {Towards proving security in the presence of large untrusted components},
    address          = {Vancouver, Canada }
  }