Pietro Ferrara | DeepAI

DeepAI

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

Featured Co-authors

Claudio Lucchese
13 publications
Stefano Calzavara
11 publications
Vincenzo Arceri
4 publications
Agostino Cortesi
4 publications
Luca Negrini
1 publication

research

∙ 07/06/2020

Certifying Decision Trees Against Evasion Attacks by Program Analysis

Machine learning has proved invaluable for a range of different tasks, y...

0 Stefano Calzavara, et al. ∙

research

∙ 06/04/2020

Twinning automata and regular expressions for string static analysis

In this paper we formalize and prove the soundness of Tarsis, a new abst...

0 Luca Negrini, et al. ∙