ISR
Detection of Design Flaws in Android Permission Protocol through Bounded Verification
| Title | Detection of Design Flaws in Android Permission Protocol through Bounded Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Bagheri, H., E. Kang, S. Malek, and D. Jackson |
| Conference Name | 20th International Symposium on Formal Methods (FM 2015) |
| Pagination | 73-89 |
| Date Published | June |
| Conference Location | Oslo, Norway |
Awarded:
Best Paper. Invited for journal submission.