Davide Davoli

According to our database, Davide Davoli authored at least 7 papers between 2023 and 2024.

Collaborative distances:

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

2024

A quantitative probabilistic relational Hoare logic.

Martin Avanzini, Gilles Barthe, Davide Davoli, Benjamin Grégoire

CoRR, 2024

On Kernel's Safety in the Spectre Era (Extended Version).

Davide Davoli, Martin Avanzini, Tamara Rezk

CoRR, 2024

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version).

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron

CoRR, 2024

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

On Separation Logic, Computational Independence, and Pseudorandomness.

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead).

Davide Davoli, Martin Avanzini, Tamara Rezk

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

An Arithmetic Theory for the Poly-Time Random Functions.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

CoRR, 2023