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) : Might,Matthew ; Byrd,William


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1025325.pdf


Report Date : 01 Jan 2017


Pagination or Media Count : 20


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.


Descriptors :   computer programming , computer programs , mobile devices , mobile operating systems , malware , OBJECTORIENTED PROGRAMMING LANGUAGE


Subject Categories : Computer Programming and Software
      Computer Hardware


Distribution Statement : APPROVED FOR PUBLIC RELEASE