Pietro Ferrara

Available identifiers

Publication	Date of Publication	Type
Relational string abstract domains	2022-07-08	Paper
Twinning automata and regular expressions for string static analysis	2021-10-18	Paper
A survey on product operators in abstract interpretation	2021-06-21	Paper
Combining symbolic and numerical domains for information leakage analysis	2021-05-26	Paper
\textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results	2020-08-05	Paper
The abstract domain of trapezoid step functions	2018-05-15	Paper
Using abstract interpretation to correct synchronization faults	2017-02-21	Paper
A generic framework for heap and value analyses of object-oriented programming languages	2016-05-02	Paper
Automatic inference of heap properties exploiting value domains	2015-02-04	Paper
Datacentric semantics for verification of privacy policy compliance by mobile applications	2015-02-04	Paper
Generic combination of heap and value analyses in abstract interpretation	2015-01-13	Paper
Automatic inference of access permissions	2012-06-15	Paper
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model	2008-04-24	Paper

This page was built for person: Pietro Ferrara