Improving typeclass relations by being open. - Guido Martínez; Mauro Jaskelioff; Guido De Luca (Haskell@ICFP, 2018)

Towards a Certified Reference Monitor of the Android 10 Permission System. - Guido De Luca; Carlos Luna 001 (TYPES, 2020)

An Automatically Verified Prototype of the Android Permissions System. - Maximiliano Cristiá; Guido De Luca; Carlos Luna 001 (J. Autom. Reason., 2023)