Jif-Based Verification of Information Flow Policies for Android Apps. - Lina M. Jimenez; Martín Ochoa; Sandra Julieta Rueda (Int. J. Secur. Softw. Eng., 2017)