works on
adversarial code 1higher-order reasoning 1probabilistic programming 1security verification 1separation logic 1urn resources 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
most citedContextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)

1 citations · 1 across the 3 of their papers we have counts for

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…