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