Bagheri_COVERT_DG.pdf Download Tags: android CMU formal verification Inter-App vulnerabilities Jan'16 static analysis Submitted by Jamie Hagerty on Tue, 12/06/2016 - 12:26