Towards Proving Security in the Presence of Large Untrusted Components

TitleTowards Proving Security in the Presence of Large Untrusted Components
Publication TypeConference Paper
Year of Publication2010
AuthorsAndronick J, Greenaway D, Elphinstone K
Conference Name5th International Workshop on Systems Software Verification (SSV 10)
Date Published10/2010
PublisherUSENIX Association
Conference LocationVancouver, BC
URLhttps://www.usenix.org/conference/ssv10/towards-proving-security-presence-large-untrusted-components