JN-SAF
Authors:
Open Access
- 15 October 2018
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1137-1150
Abstract
No abstract availableKeywords
Funding Information
- U.S. National Science Foundation (1622402, 1717862)
- Chinese National Science Foundation (61572115)
- Chinese National Key R&D Plan (2016QY04X000)
This publication has 26 references indexed in Scilit:
- String analysis for Java and Android applications2015
- Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware2015
- Information-Flow Analysis of Android Applications in DroidSafe2015
- CopperDroid: Automatic Reconstruction of Android Malware Behaviors2015
- SMV-HUNTER: Large Scale, Automated Detection of SSL/TLS Man-in-the-Middle Vulnerabilities in Android Apps2014
- CHEX2012
- BitBlaze: A New Approach to Computer Security via Binary Analysis2008
- ValgrindACM SIGPLAN Notices, 2007
- Precise interprocedural dataflow analysis with applications to constant propagationTheoretical Computer Science, 1996
- Precise interprocedural dataflow analysis via graph reachability1995