Coupled Relational Symbolic Execution for Differential Privacy.

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

Browse the full ESOP paper archive.