Differentially Private Bayesian Programming. - Gilles Barthe; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon 001; Justin Hsu; Pierre-Yves Strub (CCS, 2016)

Relational Symbolic Execution. - Gian Pietro Farina; Stephen Chong; Marco Gaboardi (PPDP, 2019)

Probabilistic Programming Languages for Modeling Autonomous Systems. - Seyed Mahdi Shamsi; Gian Pietro Farina; Marco Gaboardi; Nils Napp (MFI, 2020)

Coupled Relational Symbolic Execution. - Gian Pietro Farina (2020)

Coupled Relational Symbolic Execution for Differential Privacy. - Gian Pietro Farina; Stephen Chong; Marco Gaboardi (ESOP, 2021)