Author of the publication

Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications.

, , , and . Information, 11 (3): 130 (2020)

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

FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach., , and . CISDA, page 1-8. IEEE, (2012)Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns., , , , and . STM, volume 9331 of Lecture Notes in Computer Science, page 3-19. Springer, (2015)Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy., and . SECRYPT, page 184-189. INSTICC Press, (2008)Enforcing Security Policies on Programs., , and . SoMeT, volume 147 of Frontiers in Artificial Intelligence and Applications, page 195-207. IOS Press, (2006)Towards Understanding the Role of Execution Context for Observing Malicious Behavior in Android Malware., , , , and . ICETE (Selected Papers), volume 764 of Communications in Computer and Information Science, page 48-71. Springer, (2016)Secrecy of cryptographic protocols under equational theory., , and . Knowl. Based Syst., 22 (3): 160-173 (2009)A rewriting system for the assessment of XACML policies relationship., , , and . Comput. Secur., (2020)Low Power Neural Network Accelerators Using Collaborative Weight Tuning and Shared Shift-Add optimization., , , and . MWSCAS, page 1-4. IEEE, (2022)An Explainable Artificial Intelligence Approach for a Trustworthy Spam Detection., , and . CSR, page 160-167. IEEE, (2023)Toward the Formalization of Business Process Model and Notation., , and . SoMeT, volume 337 of Frontiers in Artificial Intelligence and Applications, page 248-264. IOS Press, (2021)