Pages that link to "Item:Q2931812"
From MaRDI portal
The following pages link to Linear dependent types for differential privacy (Q2931812):
Displaying 16 items.
- Preserving differential privacy under finite-precision semantics (Q507371) (← links)
- Differential privacy in probabilistic systems (Q529047) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Coupled relational symbolic execution for differential privacy (Q2233459) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Model checking differentially private properties (Q2680992) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows (Q3304822) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms (Q5418970) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Bunched Fuzz: sensitivity for vector metrics (Q6535249) (← links)
- Certifying private probabilistic mechanisms (Q6652993) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)
