Export Citations
2 Results for: Author: Davoli, Davide
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,433 records)|Limit your search to The ACM Full-Text Collection (774,262 records)
Select All
- research-articleJanuary 2025
A Quantitative Probabilistic Relational Hoare Logic
Proceedings of the ACM on Programming Languages (PACMPL), Volume 9, Issue POPLArticle No.: 40, Pages 1167–1195https://doi.org/10.1145/3704876We introduce eRHL, a program logic for reasoning about relational expectation properties of pairs of probabilistic programs. eRHL is quantitative, i.e., its pre- and post-conditions take values in the extended non-negative reals. Thanks to its ...
- research-articleDecember 2024
On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead)
CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications SecurityPages 1091–1105https://doi.org/10.1145/3658644.3670332The efficacy of address space layout randomization has been formally demonstrated in a shared-memory model by Abadi et al., contingent on specific assumptions about victim programs. However, modern operating systems, implementing layout randomization in ...
