Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting

Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi. Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting. In Hamido Fujita, Héctor Pérez-Meana, editors, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 202, Cancun, Mexico, 21-23 September, 2021. Volume 337 of Frontiers in Artificial Intelligence and Applications, pages 85-98, IOS Press, 2021. [doi]

Abstract

Abstract is missing.