| Title | COVERT: Compositional Analysis of Android Inter-App Security Vulnerabilities | 
| Publication Type | Journal Article | 
| Year of Publication | 2015 | 
| Authors | Bagheri, H., A. Sadeghi, J. Garcia, and S. Malek | 
| Journal | IEEE Transactions on Software Engineering (IEEE TSE) | 
| Volume | 41 | 
| Issue | 9 | 
| Pagination | 866-886 | 
| Date Published | 09/2015 | 
| DOI | 10.1109/TSE.2015.2419611 |