Analyzing Security Property of Android Application Implementation Using Formal Method.

Quanqi Ye

Browse the full ICECCS paper archive.