Scalable and Precise Abstraction of Programs for Trustworthy Software
Technical Report,01 Feb 2012,30 Jun 2016
UTAH UNIV SALT LAKE CITY SALT LAKE CITY United States
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Hardware