Guido De Luca

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An Automatically Verified Prototype of the Android Permissions System.
J. Autom. Reason., June, 2023

2020
Towards a Certified Reference Monitor of the Android 10 Permission System.
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

2018
Improving typeclass relations by being open.
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018


  Loading...