Accession Number:

AD1025325

Title:

Scalable and Precise Abstraction of Programs for Trustworthy Software

Descriptive Note:

Technical Report,01 Feb 2012,30 Jun 2016

Corporate Author:

UTAH UNIV SALT LAKE CITY SALT LAKE CITY United States

Personal Author(s):

Report Date:

2017-01-01

Pagination or Media Count:

20.0

Abstract:

Applications deployed on mobile devices play a critical role in the fabric of national cyberinfrastructure. They carry sensitive data and have capabilities with significant social and financial effect. Yet while it is paramount that such software is trustworthy, these applications pose challenges beyond the reach of current practice for low-cost, high-assurance verification and analysis. This effort investigates a systematic and scalable approach to the fully automatic analysis and verification of applications deployed on mobile devices.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE