Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli. Formal Characterization of Illegal Control Flow in Android System. In International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2013, Kyoto, Japan, December 2-5, 2013. pages 293-300, IEEE, 2013. [doi]
Abstract is missing.