Pages that link to "Item:Q2942860"
From MaRDI portal
The following pages link to Probabilistic relational reasoning for differential privacy (Q2942860):
Displaying 17 items.
- Preserving differential privacy under finite-precision semantics (Q507371) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← 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)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Model checking differentially private properties (Q2680992) (← links)
- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows (Q3304822) (← links)
- Understanding Probabilistic Programs (Q3449623) (← links)
- (Q5155670) (← links)
- Asymmetric Distances for Approximate Differential Privacy (Q5875371) (← links)
- Model Checking Temporal Properties of Recursive Probabilistic Programs (Q6137848) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
