Pages that link to "Item:Q4635938"
From MaRDI portal
The following pages link to Proving Differential Privacy via Probabilistic Couplings (Q4635938):
Displaying 15 items.
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- Strassen's theorem for quantum couplings (Q2007728) (← links)
- Verifying Pufferfish privacy in hidden Markov models (Q2152648) (← links)
- Coupled relational symbolic execution for differential privacy (Q2233459) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Model checking differentially private properties (Q2680992) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- (Q3307709) (← links)
- (Q5207055) (← links)
- Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (Q5327422) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (Q6487312) (← links)
- On Lexicographic Proof Rules for Probabilistic Termination (Q6488476) (← links)
- Proving that programs are differentially private (Q6536302) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)