Gian Pietro Farina | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Marco Gaboardi
32 publications
Stephen Chong
12 publications

research

∙ 07/25/2020

Coupled Relational Symbolic Execution for Differential Privacy

Differential privacy is a de facto standard in data privacy with applica...

0 Gian Pietro Farina, et al. ∙

research

∙ 11/22/2017

Relational Symbolic Execution

Symbolic execution is a classical program analysis technique, widely use...

0 Gian Pietro Farina, et al. ∙