Scalable and Precise Abstraction of Programs for Trustworthy Software

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1025325

Entities

People

  • Matthew Might
  • William Byrd

Organizations

  • University of Utah

Tags

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Application Software
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Governments
  • Graphical User Interface
  • Language
  • Military Research
  • Mobile Devices
  • Mobile Operating Systems
  • Operating Systems
  • Programming Languages
  • Security
  • Specifications

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Economics