Automated Program Analysis for Cybersecurity (APAC)
Abstract
Automated Program Analysis for Cybersecurity (APAC) is developing automated program analysis techniques for mathematically validating specified security properties of mobile applications. This will involve creating new and improved type-based analysis, abstract interpretation, and flow-based analysis methods with far greater ability to accurately demonstrate security with lower instances of false alarms. APAC technologies will enable developers and analysts to identify mobile applications that contain hidden malicious functionality and bar those applications from DoD mobile application marketplaces.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2016
- Source ID
- 5eb138e74290b459944117f16aa5d46b