Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security.

Zheng Lu, Supratik Mukhopadhyay

Browse the full COMPSAC paper archive.