Automated Program Analysis for Cybersecurity (APAC)
Abstract
Automated Program Analysis for Cybersecurity (APAC) is developing automated program analysis techniques for mathematically validating the 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 properties without false alarms than is possible today. 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, 2015
- Source ID
- eadb47b9a8669007b8e479ba19838c83