Davide Davoli

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Probabilistic Relational

Computational Properties

Defeasible Logic

Top Venues

Publications

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron
On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version). CoRR (2024)
Martin Avanzini, Gilles Barthe, Davide Davoli, Benjamin Grégoire
A quantitative probabilistic relational Hoare logic. CoRR (2024)
Davide Davoli, Martin Avanzini, Tamara Rezk
On Kernel's Safety in the Spectre Era (Extended Version). CoRR (2024)