Gian Pietro Farina

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Differential Privacy

Specification Language

Differentially Private

Top Venues

Publications

Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Coupled Relational Symbolic Execution for Differential Privacy. ESOP (2021)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Coupled Relational Symbolic Execution for Differential Privacy. CoRR (2020)
Seyed Mahdi Shamsi, Gian Pietro Farina, Marco Gaboardi, Nils Napp
Probabilistic Programming Languages for Modeling Autonomous Systems. MFI (2020)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Relational Symbolic Execution. PPDP (2019)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Relational Symbolic Execution. CoRR (2017)
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
Differentially Private Bayesian Programming. CoRR (2016)
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
Differentially Private Bayesian Programming. CCS (2016)