Davide Davoli
Orcid: 0009-0009-2981-2962Affiliations:
- Inria, Université Côte d'Azur, Sophia Antipolis, France
According to our database1,
Davide Davoli
authored at least 8 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
2025
0
1
2
3
4
5
6
7
1
3
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
2024
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version).
CoRR, 2024
On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version).
CoRR, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
2023