Research Summaries

Back A New Application Download Model

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