ISR Bibliography

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is D and Author is Eunsuk Kang  [Clear All Filters]
Conference Paper
Bagheri, H., E. Kang, S. Malek, and D. Jackson, "Detection of Design Flaws in Android Permission Protocol through Bounded Verification", 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, pp. 73-89, June, 2015.