Agustín Romano

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Formal Analysis

Top Venues

Sci. Ann. Comput. Sci.

Publications

Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano
Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Comput. Sci. 26 (1) (2016)
Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano
Verifying Android's Permission Model. ICTAC (2015)