Guido De Luca

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Binary Relations

Top Venues

J. Autom. Reason.

Publications

Maximiliano Cristiá, Guido De Luca, Carlos Luna
An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. 67 (2) (2023)
Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna
An Automatically Verified Prototype of the Android Permissions System. CoRR (2022)
Guido De Luca, Carlos Luna
Towards a certified reference monitor of the Android 10 permission system. CoRR (2020)
Guido De Luca, Carlos Luna
Towards a Certified Reference Monitor of the Android 10 Permission System. TYPES (2020)
Guido Martínez, Mauro Jaskelioff, Guido De Luca
Improving typeclass relations by being open. Haskell@ICFP (2018)