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 10 linked papers with an AI index.

activity

20242026

collaborators

Showing 2026 · cs.PLShow all

1 paper · 2 filters

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…