On the public citation graph

Synthesizing coupling proofs of differential privacy

https://doi.org/10.1145/3158146
0 signed · 82 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11547662_24openalex-snapshot
Secure Information Flow as a Safety Problem
inferredcites →https://doi.org/10.1007/11681878_14openalex-snapshot
Calibrating Noise to Sensitivity in Private Data Analysis
inferredcites →https://doi.org/10.1007/11817963_39openalex-snapshot
SMT Techniques for Fast Predicate Abstraction
inferredcites →https://doi.org/10.1007/3-540-63166-6_10openalex-snapshot
Construction of abstract state graphs with PVS
inferredcites →https://doi.org/10.1007/978-3-319-23534-9_2openalex-snapshot
Horn Clause Solvers for Program Verification
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_46openalex-snapshot
HSF(C): A Software Verifier Based on Horn Clauses
inferredcites →https://doi.org/10.1007/978-3-642-32759-9_21openalex-snapshot
A Verification Toolkit for Numerical Transition Systems
inferredcites →https://doi.org/10.1007/978-3-642-36742-7_7openalex-snapshot
The MathSAT5 SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-39212-2_8openalex-snapshot
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
inferredcites →https://doi.org/10.1007/978-3-662-46681-0_41openalex-snapshot
SeaHorn: A Framework for Verifying C Programs (Competition Contribution)
inferredcites →https://doi.org/10.1109/csf.2010.8openalex-snapshot
Approximation and Randomization for Quantitative Information-Flow Analysis
inferredcites →https://doi.org/10.1109/csf.2014.36openalex-snapshot
Proving Differential Privacy in Hoare Logic
inferredcites →https://doi.org/10.1109/fmcad.2009.5351147openalex-snapshot
Software model checking via large-block encoding
inferredcites →https://doi.org/10.1109/focs.2007.66openalex-snapshot
Mechanism Design via Differential Privacy
inferredcites →https://doi.org/10.1145/1168857.1168907openalex-snapshot
Combinatorial sketching for finite programs
inferredcites →https://doi.org/10.1145/1536414.1536467openalex-snapshot
On the complexity of differentially private data release
inferredcites →https://doi.org/10.1145/1706299.1706337openalex-snapshot
From program verification to program synthesis
inferredcites →https://doi.org/10.1145/1806689.1806787openalex-snapshot
Differential privacy under continual observation
inferredcites →https://doi.org/10.1145/1993498.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/2043621.2043626openalex-snapshot
Private and Continual Release of Statistics
inferredcites →https://doi.org/10.1145/2254064.2254112openalex-snapshot
Synthesizing software verifiers from proof rules
inferredcites →https://doi.org/10.1145/2429069.2429113openalex-snapshot
Linear dependent types for differential privacy
inferredcites →https://doi.org/10.1145/2492061openalex-snapshot
Probabilistic Relational Reasoning for Differential Privacy
inferredcites →https://doi.org/10.1145/2535838.2535860openalex-snapshot
A constraint-based approach to solving games on infinite graphs
inferredcites →https://doi.org/10.1145/2676726.2677000openalex-snapshot
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
inferredcites →https://doi.org/10.1145/2746325.2746335openalex-snapshot
Really Natural Linear Indexed Type Checking
inferredcites →https://doi.org/10.1145/2837614.2837666openalex-snapshot
Optimizing synthesis with metasketches
inferredcites →https://doi.org/10.1145/2893582.2893591openalex-snapshot
Programming language techniques for differential privacy
inferredcites →https://doi.org/10.1145/2908080.2908092openalex-snapshot
Cartesian hoare logic for verifying k-safety properties
inferredcites →https://doi.org/10.1145/2933575.2934554openalex-snapshot
Proving Differential Privacy via Probabilistic Couplings
inferredcites →https://doi.org/10.1145/2976749.2978391openalex-snapshot
Advanced Probabilistic Couplings for Differential Privacy
inferredcites →https://doi.org/10.1145/3009837.3009890openalex-snapshot
A semantic account of metric preservation
inferredcites →https://doi.org/10.1145/3009837.3009896openalex-snapshot
Coupling proofs are probabilistic product programs
inferredcites →https://doi.org/10.1145/3110254openalex-snapshot
A framework for adaptive differential privacy
inferredcites →https://doi.org/10.1145/3133904openalex-snapshot
FairSquare: probabilistic verification of program fairness
inferredcites →https://doi.org/10.1145/349299.349314openalex-snapshot
Translation validation for an optimizing compiler
inferredcites →https://doi.org/10.3233/jcs-2009-0393openalex-snapshot
Hyperproperties

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-01090-4_12openalex-snapshot
Bisimilarity Distances for Approximate Differential Privacy
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_8openalex-snapshot
Coupled Relational Symbolic Execution for Differential Privacy
inferred← citeshttps://doi.org/10.1007/978-3-030-94583-1_9openalex-snapshot
Verifying Pufferfish Privacy in Hidden Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_3openalex-snapshot
Data-Driven Invariant Learning for Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-19214-2_34openalex-snapshot
DP-Opt: Identify High Differential Privacy Violation by Optimization
inferred← citeshttps://doi.org/10.1007/978-3-031-68391-6_11openalex-snapshot
Certifying Private Probabilistic Mechanisms
inferred← citeshttps://doi.org/10.1007/978-3-031-75783-9_10openalex-snapshot
A Unified Framework for Quantitative Analysis of Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-90653-4_14openalex-snapshot
Refuting Equivalence in Probabilistic Programs with Conditioning
inferred← citeshttps://doi.org/10.1007/s00778-022-00728-2openalex-snapshot
Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms
inferred← citeshttps://doi.org/10.1007/s10703-024-00466-xopenalex-snapshot
Data-driven invariant learning for probabilistic programs
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00043openalex-snapshot
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919653openalex-snapshot
The Complexity of Verifying Boolean Programs as Differentially Private
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00048openalex-snapshot
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
inferred← citeshttps://doi.org/10.1109/eurosp48549.2020.00041openalex-snapshot
Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms
inferred← citeshttps://doi.org/10.1109/lics.2019.8785668openalex-snapshot
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470708openalex-snapshot
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
inferred← citeshttps://doi.org/10.1109/satml68715.2026.00031openalex-snapshot
SoK: The Hitchhiker’s Guide to Efficient, End-to-End, and Tight DP Auditing
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00086openalex-snapshot
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00060openalex-snapshot
Learning Differentially Private Mechanisms
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00134openalex-snapshot
Lower Bounds for Rényi Differential Privacy in a Black-Box Setting
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3568160openalex-snapshot
On Estimating the Strength of Differentially Private Mechanisms in a Black-Box Setting
inferred← citeshttps://doi.org/10.1109/tifs.2026.3661818openalex-snapshot
Sensitivity-Aware Auditing Service for Differentially Private Databases
inferred← citeshttps://doi.org/10.1109/tpsisa52974.2021.00026openalex-snapshot
Foundations for Robust Data Protection: Co-designing Law and Computer Science
inferred← citeshttps://doi.org/10.1145/3243734.3243818openalex-snapshot
Detecting Violations of Differential Privacy
inferred← citeshttps://doi.org/10.1145/3243734.3243863openalex-snapshot
DP-Finder
inferred← citeshttps://doi.org/10.1145/3290352openalex-snapshot
Trace abstraction modulo probability
inferred← citeshttps://doi.org/10.1145/3314221.3314619openalex-snapshot
Proving differential privacy with shadow execution
inferred← citeshttps://doi.org/10.1145/3341697openalex-snapshot
Fuzzi: a three-level logic for differential privacy
inferred← citeshttps://doi.org/10.1145/3341698openalex-snapshot
Synthesizing differentially private programs
inferred← citeshttps://doi.org/10.1145/3371316.3371321openalex-snapshot
#8712;
inferred← citeshttps://doi.org/10.1145/3428233openalex-snapshot
Testing differential privacy with dual interpreters
inferred← citeshttps://doi.org/10.1145/3434289openalex-snapshot
Deciding accuracy of differential privacy schemes
inferred← citeshttps://doi.org/10.1145/3452096openalex-snapshot
A Programming Language for Data Privacy with Accuracy Estimations
inferred← citeshttps://doi.org/10.1145/3519935.3519973openalex-snapshot
Reproducibility in learning
inferred← citeshttps://doi.org/10.1145/3563313openalex-snapshot
Solo: a lightweight static analysis for differential privacy
inferred← citeshttps://doi.org/10.1145/3563344openalex-snapshot
Symbolic execution for randomized programs
inferred← citeshttps://doi.org/10.1145/3576915.3623170openalex-snapshot
Deciding Differential Privacy of Online Algorithms with Multiple Variables
inferred← citeshttps://doi.org/10.1145/3589207openalex-snapshot
Contextual Linear Types for Differential Privacy
inferred← citeshttps://doi.org/10.1145/3656462openalex-snapshot
Equivalence and Similarity Refutation for Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3704876openalex-snapshot
A Quantitative Probabilistic Relational Hoare Logic
inferred← citeshttps://doi.org/10.1145/3719027.3765043openalex-snapshot
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
inferred← citeshttps://doi.org/10.1145/3729294openalex-snapshot
Verified Foundations for Differential Privacy
inferred← citeshttps://doi.org/10.14778/3368289.3368295openalex-snapshot
Free gap information from the differentially private sparse vector and noisy max mechanisms
inferred← citeshttps://doi.org/10.3934/mbe.2021151openalex-snapshot
Insuring against the perils in distributed learning: privacy-preserving empirical risk minimization
inferred← citeshttps://doi.org/10.3934/mbe.2021243openalex-snapshot
Guaranteed distributed machine learning: Privacy-preserving empirical risk minimization
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.