Fiscal Year	2012
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Volpano, Dennis M.
Sponsor	Office of Naval Research (Navy)
Summary	The proposed research addresses the need for generating robust and secure executable code from untrusted sources. Determining whether code is safe is undecidable as is establishing that information flow is secure which is not even semidecidable. Untrusted sources have no business delivering to customers applications represented in source or binary formats. After all, they are untrusted so why should they be allowed to use a representation that makes mechanical analysis for safety and security so difficult? This work aims to shift more of the responsibility for guaranteeing safe and secure execution of applications from the consumer to the producer.
Keywords	Software Assurance
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal