Towards Proving Security in the Presence of Large Untrusted Components

@inproceedings {267112,
author = {June Andronick and David Greenaway and Kevin Elphinstone},
title = {Towards Proving Security in the Presence of Large Untrusted Components},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/towards-proving-security-presence-large-untrusted-components},
publisher = {USENIX Association},
month = oct
}