| 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 |