← DARPA APAC
Sections 7–9

Publications and References

Comprehension-Driven Program Analysis (CPA) for Malware Detection in Android Phones

Contents

7. Publications

  1. Security Toolbox for Detecting Novel and Sophisticated Android Malware. Benjamin Holland, Tom Deering, Suresh Kothari, Jon Mathews, Nikhil Ranade. International Conference on Software Engineering, 2015.
  2. A “Human-in-the-loop” Approach for Resolving Complex Software Anomalies. Suresh Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan. IEEE International Conference on Systems, Man, and Cybernetics, 2014.
  3. Atlas: A New Way to Explore Software, Build Analysis Tools. Tom Deering, Suresh Kothari, Jeremías Sauceda, Jon Mathews. International Conference on Software Engineering, 2014.
  4. Multi-faceted Practical Modeling Education for Software Engineering. Suresh Kothari, Jeremías Sauceda. ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013.

8. References

  1. DARPA APAC Program. http://www.darpa.mil/Our_Work/I2O/Programs/ Automated_Program_Analysis_for_Cybersecurity_(APAC).aspx, 2015.
  2. BAA 11-63. Automated Program Analysis for Cybersecurity. DARPA Information Technology Office, 2011.
  3. BAA 99-08. Software-Enabled Control. DARPA Information Technology Office, 1999.
  4. "Common Attack Pattern Enumeration and Classification." CAPEC. MITRE, Web. 20 Feb. 2015. <https://capec.mitre.org>.
  5. "Atlas." ENSOFT. ENSOFT Corp., Web. 20 Feb. 2015. <http://www.ensoftcorp.com/atlas>.
  6. "Main Page." AtlasWiki. ENSOFT Corp., Web. 20 Feb. 2015. <http://ensoftatlas.com>.
  7. "ENSOFT Corp." GitHub. Web. 20 Feb. 2015. <https://github.com/EnSoftCorp>.

9. List of Acronyms

AFRLAir Force Research Laboratory
APACAutomated Program Analysis for Cybersecurity
APIApplication Programming Interface
ASTAbstract Syntax Tree
BAABroad Area Announcement
CIAConfidentiality, Integrity, and Availability
COTSCommercial Off The Shelf
CPAComprehension-Driven Program Analysis
DARPADefense Advanced Research Projects Agency
DoDDepartment of Defense
GUIGraphic User Interface
ISUIowa State University
LoCLines of Code
QMRQuery-Model-Refine
SECSoftware Enabled Control
SMSShort Message Service
XCILeXtensible Common Intermediate Language
XCSGeXtensible Common Software Graph
XMLeXtensible Markup Language

The 2026 republication of the report has made minor changes to match ENSOFT’s current branding and other minor updates that do not affect the substance.