Approximate relational Hoare logic for continuous random samplings (Q1744393): Difference between revisions

@@ Property / arXiv ID @@
+.01445
@@ Property / arXiv ID: 1603.01445 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Differential Privacy via Probabilistic Couplings
+Normal rank
@@ Property / cites work @@
+Probabilistic relational reasoning for differential privacy
+Normal rank
@@ Property / cites work @@
+Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Categories of Timed Stochastic Relations
@@ Property / cites work: Categories of Timed Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+The Algorithmic Foundations of Differential Privacy
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843725
@@ Property / cites work: Q2843725 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric effect monads and semantics of effect systems
+Normal rank
@@ Property / cites work @@
+Q5275349
@@ Property / cites work: Q5275349 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549600
@@ Property / cites work: Q3549600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549599
@@ Property / cites work: Q3549599 / rank @@
+Normal rank