ISR Bibliography

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is D and Author is Malek, S.  [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.
Hammad, M.., H.. Bagheri, and S.. Malek, "Determination and Enforcement of Least-Privilege Architecture in Android", IEEE International Conference on Software Architecture (ICSA), Gothenburg, Sweden, IEEE, pp. 59-68, Apr 3-7, 2017.
Conference Proceedings
Malek, S., M. Mikic-Rakic, and N. Medvidović, "A Decentralized Redeployment Algorithm for Improving the Availability of Distributed Systems", Third International Working Conference Component Deployment (CD 2005) , Grenoble, France, Nov 28-29, 2005.