Author of the publication

Architecture Modeling and Analysis of Security in Android Systems.

, , , , , , and . ECSA, volume 9839 of Lecture Notes in Computer Science, page 274-290. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesis from Formal Partial Abstractions.. CoRR, (2014)Security and Software Engineering., , , and . Handbook of Software Engineering, Springer, (2019)Architecture as an Independent Variable for Aspect-Oriented Application Descriptions., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 395. Springer, (2010)Monarch: Model-Based Development of Software Architectures., and . MoDELS (2), volume 6395 of Lecture Notes in Computer Science, page 376-390. Springer, (2010)IoTCom: Dissecting Interaction Threats in IoT Systems., , , , and . IEEE Trans. Software Eng., 49 (4): 1523-1539 (April 2023)Automated Repair of Declarative Software Specifications in the Era of Large Language Models., , , and . CoRR, (2023)Determination and Enforcement of Least-Privilege Architecture in Android., , and . ICSA, page 59-68. IEEE Computer Society, (2017)SAINTDroid: Scalable, Automated Incompatibility Detection for Android., , , , , and . DSN, page 567-579. IEEE, (2022)Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , and . ICSE, page 1135-1147. IEEE, (2021)A Study on the Role of Software Architecture in the Evolution and Quality of Software., , , , , and . MSR, page 246-257. IEEE Computer Society, (2015)