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 is missing.