Pietro Ferrara
Università Ca' Foscari di Venezia
H-index: 20
Europe-Italy
Top articles of Pietro Ferrara
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tarsis: An effective automata‐based abstract domain for string analysis | Journal of Software: Evolution and Process | Luca Negrini Vincenzo Arceri Agostino Cortesi Pietro Ferrara | 2024 |
Certifying machine learning models against evasion attacks by program analysis | Journal of Computer Security | Stefano Calzavara Pietro Ferrara Claudio Lucchese | 2023/1/1 |
Challenges of Software Verification | Vincenzo Arceri Agostino Cortesi Pietro Ferrara Martina Olliaro | 2023/7/24 | |
LiSA: A generic framework for multilanguage static analysis | Luca Negrini Pietro Ferrara Vincenzo Arceri Agostino Cortesi | 2023/7/22 | |
Lifting String Analysis Domains | Martina Olliaro Vincenzo Arceri Agostino Cortesi Pietro Ferrara | 2023/7/22 | |
Welcome from the chairs | CPP 2024-Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 | Brigitte Pientka Sandrine Blazy Dmitriy Traytel Amin Timany | 2024/1/9 |
Information flow analysis for detecting non-determinism in blockchain | Luca Olivieri Luca Negrini Vincenzo Arceri Tagliaferro Fabio Pietro Ferrara | 2023 | |
Machine learning to facilitate incremental static program analysis | 2023/10/17 | ||
User device privacy protection | 2022/1/11 | ||
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | Luca Olivieri Fabio Tagliaferro Vincenzo Arceri Marco Ruaro Luca Negrini | 2022/6/14 | |
Robustness Analysis of PLC Programs With Respect to Sensor Interaction in IoT | Manali Chakraborty Agostino Cortesi Pietro Ferrara Sara Ferro | 2022/3/7 | |
Value based information tracking for security enforcement | 2022/2/8 | ||
System, method and apparatus for extracting usage-based fine grained permissions | 2022/1/18 | ||
Relational string abstract domains | Vincenzo Arceri Martina Olliaro Agostino Cortesi Pietro Ferrara | 2022/1/14 | |
Static analysis for dummies: experiencing LiSA | Pietro Ferrara Luca Negrini Vincenzo Arceri Agostino Cortesi | 2021/6/22 | |
Privacy detection of a mobile application program | 2021/2/9 | ||
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement | 2021/11/16 | ||
Static analysis for discovering IoT vulnerabilities | International Journal on Software Tools for Technology Transfer | Pietro Ferrara Amit Kr Mandal Agostino Cortesi Fausto Spoto | 2021/2 |
Identifying computer program security access control violations using static analysis | 2021/11/2 | ||
Intents analysis of Android apps for confidentiality leakage detection | Advanced Computing and Systems for Security: Volume Eleven | Rocco Salvia Agostino Cortesi Pietro Ferrara Fausto Spoto | 2021 |