28 citations · 33 across the 2 of their papers we have counts for
3 papers
Certifying Decision Trees Against Evasion Attacks by Program Analysis
Stefano Calzavara, Pietro Ferrara, Claudio Lucchese
Machine learning has proved invaluable for a range of different tasks, yet it also proved vulnerable to evasion attacks, i.e., maliciously crafted perturbations of input data desig…
Twinning automata and regular expressions for string static analysis
Luca Negrini, Vincenzo Arceri, Pietro Ferrara +1
In this paper we formalize and prove the soundness of Tarsis, a new abstract domain based on the abstract interpretation theory that approximates string values through finite state…
A Survey on Product Operators in Abstract Interpretation
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretati…