Guido De Luca

According to our database, Guido De Luca authored at least 3 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

An Automatically Verified Prototype of the Android Permissions System.

Maximiliano Cristiá, Guido De Luca, Carlos Luna

J. Autom. Reason., June, 2023

2020

Towards a Certified Reference Monitor of the Android 10 Permission System.

Guido De Luca, Carlos Luna

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

2018

Improving typeclass relations by being open.

Guido Martínez, Mauro Jaskelioff, Guido De Luca

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018