Systems

PSI solver
PSI is a probabilistic solver that takes as input a probabilistic program and automatically computes the exact probability density function (PDF) represented by that program
SPIRE
SPIRE is a synthesis system that automatically transforms a program into one that complies with a given privacy policy
DP-Finder
DP-Finder is a system that automatically derives lower bounds on the differential privacy enforced by algorithms

Publications

2021

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers
Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin Vechev
IEEE S&P 2021

2020

λPSI: Exact Inference for Higher-order Probabilistic Programs
Timon Gehr, Samuel Steffen, Martin Vechev
PLDI 2020

2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS 2018
Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
PLDI 2018
Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI 2018
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP 2018

2017

Synthesis of Probabilistic Privacy Enforcement
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin Vechev
ACM CCS 2017

2016

PSI: Exact Symbolic Inference for Probabilistic Programs
Timon Gehr, Sasa Misailovic, Martin Vechev
CAV 2016