Lina M. Jimenez

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Information Flows

Mobile Platforms

Fully Functional

Top Venues

Int. J. Secur. Softw. Eng.

Publications

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