Simon Gregersen

works on

concurrency 1 concurrent separation logic 1 distributed execution 1 effect handlers 1 formal verification 1 Iris 1 linearizability 1 logical atomicity 1 program logics 1 relational reasoning 1

From the 2 of 9 linked papers with an AI index.

activity

20242026

collaborators

Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)

Philipp G. Haselwarter, Alejandro Aguirre, Simon Oddershede Gregersen +3

Differential privacy is the standard method for privacy-preserving data analysis. The importance of having strong guarantees on the reliability of implementations of differentially…