Pietro FERRARA

Position
Associate Professor
Telephone
041 234 8425
E-mail
pietro.ferrara@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/pietro.ferrara (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B03 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre
Research Institute
Research Institute for Complexity

Publications

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2024 Articolo su rivista Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. article in press (ISSN 2047-7481)
DOI - Scheda ARCA: 10278/5050041
2023 Articolo su rivista Calzavara, S; Ferrara, P; Lucchese, C Certifying machine learning models against evasion attacks by program analysis in JOURNAL OF COMPUTER SECURITY, vol. 31, pp. 57-84 (ISSN 0926-227X)
DOI - Scheda ARCA: 10278/5020963
2023 Articolo su libro Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - Scheda ARCA: 10278/5031340
2023 Articolo su libro Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro Lifting String Analysis Domains , Challenges of Software Verification, Springer Nature, vol. 238, pp. 109-143 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - Scheda ARCA: 10278/5031341
2023 Prefazione/Postfazione Arceri V.; Cortesi A.; Ferrara P.; Olliaro M. Preface , Intelligent Systems Reference Library, Springer Science and Business Media Deutschland GmbH, vol. 238, pp. 5-6 (ISSN 1868-4394)
- Scheda ARCA: 10278/5049842
2023 Prefazione/Postfazione Ferrara P.; Hadarean L. Welcome from the Chairs , SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023, Association for Computing Machinery, Inc, pp. 3
- Scheda ARCA: 10278/5049843
2023 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP)
DOI - Scheda ARCA: 10278/5020965
2022 Articolo in Atti di convegno Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747)
DOI - Scheda ARCA: 10278/5004420
2022 Articolo in Atti di convegno Arceri V.; Olliaro M.; Cortesi A.; Ferrara P. Relational String Abstract Domains , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13182, pp. 20-42, Convegno: 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, 2022 (ISBN 978-3-030-94582-4; 978-3-030-94583-1)
DOI - Scheda ARCA: 10278/3754133
2021 Articolo su rivista Ferrara P.; Olivieri L.; Spoto F. Static Privacy Analysis by Flow Reconstruction of Tainted Data in INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, vol. 31, pp. 973-1016 (ISSN 0218-1940)
DOI - Scheda ARCA: 10278/5004098
2021 Articolo su rivista Ferrara P.; Mandal A.K.; Cortesi A.; Spoto F. Static analysis for discovering IoT vulnerabilities in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 23, pp. 71-88 (ISSN 1433-2779)
DOI - Scheda ARCA: 10278/3734701
2021 Articolo in Atti di convegno Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681)
DOI - Scheda ARCA: 10278/3741476
2021 Articolo in Atti di convegno Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2)
DOI - Scheda ARCA: 10278/3736434
2020 Articolo su rivista Pietro Ferrara, Agostino Cortesi, Fausto Spoto From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging in SCIENCE OF COMPUTER PROGRAMMING, vol. 191 (ISSN 0167-6423)
DOI - Scheda ARCA: 10278/3721692
2020 Articolo su libro Salvia R.; Cortesi A.; Ferrara P.; Spoto F. Intents Analysis of Android Apps for Confidentiality Leakage Detection , Advances in Intelligent Systems and Computing, Springer, vol. 1178, pp. 43-65 (ISBN 978-981-15-5746-0; 978-981-15-5747-7) (ISSN 2194-5357)
DOI - Scheda ARCA: 10278/3734702
2020 Articolo in Atti di convegno Pietro Ferrara, Luca Olivieri, Fausto Spoto BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, Convegno: 21th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3720935
2020 Articolo in Atti di convegno Calzavara S.; Ferrara P.; Lucchese C. Certifying decision trees against evasion attacks by program analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 12309, pp. 421-438, Convegno: 25th European Symposium on Research in Computer Security, ESORICS 2020, 2020 (ISBN 978-3-030-59012-3; 978-3-030-59013-0)
DOI - Scheda ARCA: 10278/3731397
2020 Articolo in Atti di convegno Amit Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto Cross-Program Taint Analysis for IoT Systems , ACM Symposium on Applied Computing, Association for Computing Machinery, Inc, Convegno: 35th ACM Symposium on Applied Computing (SAC 2020)
DOI - Scheda ARCA: 10278/3720937
2020 Articolo in Atti di convegno Ferrara P.; Negrini L. SARL: OO Framework Specification for Static Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, vol. 12549, pp. 3-20, Convegno: 12th International Conference on Verified Software, VSTTE 2020, and 13th International Workshop on Numerical Software Verification, NSV 2020, 2020 (ISBN 978-3-030-63617-3; 978-3-030-63618-0) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3738620
2019 Articolo su rivista Pietro Ferrara; Amit Kr Mandal; Agostino Cortesi; Fausto Spoto Cross-Programming Language Taint Analysis for the IoT Ecosystem in ELECTRONIC COMMUNICATIONS OF THE EASST, vol. 77 (ISSN 1863-2122)
DOI - Scheda ARCA: 10278/3720831
2019 Articolo su rivista Fausto Spoto; Elisa Burato; Michael D. Ernst; Pietro Ferrara; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon Static Identification of Injection Attacks in Java in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 41, pp. 1-58 (ISSN 0164-0925)
DOI - URL correlato - Scheda ARCA: 10278/3730032
2019 Articolo su rivista Mandal, Amit Kr; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto Static analysis of Android Auto infotainment and on‐board diagnostics II apps in SOFTWARE-PRACTICE & EXPERIENCE, vol. 49, pp. 1131-1161 (ISSN 0038-0644)
DOI - Scheda ARCA: 10278/3714436
2018 Articolo su rivista Agostino Cortesi, Pietro Ferrara , Raju Halder , Matteo Zanioli Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733)
DOI - Scheda ARCA: 10278/3702275
2018 Articolo in Atti di convegno Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto CIL to Java-bytecode translation for static analysis leveraging in Pietro Ferrara, Agostino Cortesi, Fausto Spoto, Proceedings - International Conference on Software Engineering in PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, IEEE Computer Society, pp. 40-49, Convegno: 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, 2018 (ISBN 9781450357180) (ISSN 0270-5257)
DOI - Scheda ARCA: 10278/3703089
2018 Articolo in Atti di convegno Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi SDLI: Static Detection of Leaks Across Intents , Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, Institute of Electrical and Electronics Engineers Inc., pp. 1002-1007, Convegno: 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, 2018 (ISBN 9781538643877)
DOI - URL correlato - Scheda ARCA: 10278/3706889
2018 Articolo in Atti di convegno Pietro Ferrara; Fausto Spoto Static Analysis for GDPR Compliance , Proceedings of the Second Italian Conference on Cyber Security (ITASEC 2018), CEUR Workshop Proceedings, vol. 2058, pp. 1-10, Convegno: Second Italian Conference on Cyber Security (ITASEC 2018), February 2018
- URL correlato - Scheda ARCA: 10278/3730033
2018 Articolo in Atti di convegno Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro*; Mandal, Amit Kr; Spoto, Fausto Static analysis of android apps interaction with automotive CAN , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11344, pp. 114-123, Convegno: 3rd International Conference on Smart Computing and Communications, SmartCom 2018, 2018 (ISBN 9783030057541)
DOI - URL correlato - Scheda ARCA: 10278/3708770
2018 Articolo in Atti di convegno Ferrara, Pietro; Luca Olivieri; Fausto Spoto Tailoring Taint Analysis to GDPR , Proceedings of Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, Springer, vol. Lecture Notes in Computer Science, pp. 63-76, Convegno: Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, June (ISBN 978-3-030-02546-5)
DOI - URL correlato - Scheda ARCA: 10278/3730034
2018 Articolo in Atti di convegno Mandal, Amit Kr; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto Vulnerability analysis of android auto infotainment apps in Mandal, Amit Kr, 2018 ACM International Conference on Computing Frontiers, CF 2018 - Proceedings, Association for Computing Machinery, Inc, pp. 183-190, Convegno: 15th ACM International Conference on Computing Frontiers, CF 2018, 2018 (ISBN 9781450357616)
DOI - URL correlato - Scheda ARCA: 10278/3703090
2017 Articolo in Atti di convegno Piorkowski D; Penney S; Henley A.Z.; Pistoia M; Burnett M; Tripp O; Ferrara P Foraging goes mobile: Foraging while debugging on mobile devices , Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, ACM, Convegno: VL/HCC 2017
DOI - Scheda ARCA: 10278/3730038
2017 Articolo in Atti di convegno Ferrara, Pietro; BURATO, Elisa; SPOTO, Nicola Fausto Security Analysis of the OWASP Benchmark with Julia , Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), CEUR Workshop Proceedings, vol. 1816, pp. 242-247, Convegno: First Italian Conference on Cybersecurity (ITASEC17), January
- URL correlato - Scheda ARCA: 10278/3730036
2017 Articolo in Atti di convegno Ferrara P; Tripp O; Liu P; Koskinen E Using abstract interpretation to correct synchronization faults , 8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, Springer, Convegno: VMCAI 2017
DOI - Scheda ARCA: 10278/3730035
2017 Articolo in Atti di convegno Aydin A; Piorkowski D; Tripp O; Ferrara P; Pistoia M Visual configuration of mobile privacy policies , FASE 2017: Fundamental Approaches to Software Engineering, Springer, Convegno: FASE 2017
DOI - Scheda ARCA: 10278/3730037
2016 Articolo su rivista Ferrara P A generic framework for heap and value analyses of object-oriented programming languages in THEORETICAL COMPUTER SCIENCE, vol. 631, pp. 43-72 (ISSN 0304-3975)
DOI - Scheda ARCA: 10278/3730030
2016 Articolo in Atti di convegno Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico DAPA: Degradation-Aware Privacy Analysis of Android Apps , Security and Trust Management, Lecture Notes in Computer Science, Volume 9871, SPRINGER, vol. 9871, pp. 32-46, Convegno: STM 2016, 2016 (ISBN 978-331946597-5)
DOI - Scheda ARCA: 10278/3684287
2016 Articolo in Atti di convegno Tsankov P; Pistoia M; Tripp O; Vechev M; Ferrara P FASE: Functionality-aware security enforcement , 32nd Annual Computer Security Applications Conference, ACSAC 2016, Association for Computing Machinery, vol. 5-9-, pp. 471-483, Convegno: 32nd Annual Computer Security Applications Conference, ACSAC 2016, 2016 (ISBN 9781450347716)
DOI - Scheda ARCA: 10278/3730041
2016 Articolo in Atti di convegno Tripp O; Pistoia M; Ferrara P; Rubin J Pinpointing mobile malware using code analysis , IEEE/ACM International Conference on Mobile Software Engineering and Systems, MobileSoft 2016, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 275-276, Convegno: MobileSoft 2016
DOI - Scheda ARCA: 10278/3730040
2015 Articolo su rivista Costantini, Giulia; Ferrara, Pietro.; Cortesi, Agostino A suite of abstract domains for static analysis of string values in SOFTWARE-PRACTICE & EXPERIENCE, John Wiley and Sons Ltd, vol. 45, pp. 245-287 (ISSN 0038-0644)
DOI - URL correlato - Scheda ARCA: 10278/37774
2015 Articolo su rivista Cortesi, A.; Costantini, G.; Ferrara, P. The abstract domain of Trapezoid Step Functions in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 43, pp. 41-68 (ISSN 1477-8424)
DOI - URL correlato - Scheda ARCA: 10278/3661627
2015 Articolo in Atti di convegno Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, vol. 8931, pp. 61-79, Convegno: 16th International Conference on verification, Model Checking and Abstract Interpretation, VMCAI 2015, January 12-14, 2015. (ISBN 978-3-662-46080-1; 978-3-662-46081-8) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3661631
2015 Articolo in Atti di convegno Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis in Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp, Computer Information Systems and Industrial Management, Springer, vol. 9339, pp. 3-23, Convegno: 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, September 24–26, 2015. (ISBN 978-3-319-24368-9; 978-3-319-24369-6) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3661633
2014 Articolo in Atti di convegno CORTESI A.; FERRARA P.; CHAKI N. Static Analysis Techniques for Robotics Software Verification , 44th International Symposium on Robotics (ISR), IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: link esterno , Fax: (732)981-9667, Convegno: 44th International Symposium on Robotics, 26-28 November, 2013
DOI - Scheda ARCA: 10278/39569
2013 Articolo su rivista A.CORTESI; G.COSTANTINI; P.FERRARA A Survey on Product Operators in Abstract Interpretation in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 129, pp. 325-336 (ISSN 2075-2180)
DOI - URL correlato - Scheda ARCA: 10278/38043
2013 Articolo in Atti di convegno Costantini G. ; Ferrara P. ; Maggiore G.; Cortesi A. The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software , Formal Methods and Software Engineering, Heidelberg, Springer Verlag, vol. 8144, pp. 447-463, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2013, October 29 - November 1, 2013 (ISBN 9783642412011) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/37776
2012 Articolo in Atti di convegno COSTANTINI G.; FERRARA P.; CORTESI A. Linear approximation of continuous systems with Trapezoid Step Functions in Jhala, Ranjit; Igarashi, Atsushi, Programming Languages and Systems, Berlin, Springer-Verlag, vol. 7705, pp. 98-114, Convegno: Programming Languages and Systems, 10th Asian Symposium, APLAS 2012, December 11-13, 2012, (ISBN 9783642351815) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/37157
2012 Articolo in Atti di convegno ZANIOLI M.; FERRARA P.; CORTESI A. SAILS: Static Analysis of Information Leakage with Sample , Proceedings of the 27th ACM Symposium on Applied Computing, ACM Press, pp. 1308-1313, Convegno: ACM SAC 2012, March 26-30 (ISBN 9781450308571)
DOI - Scheda ARCA: 10278/27119
2011 Articolo in Atti di convegno COSTANTINI G.; FERRARA P.; CORTESI A. Static Analysis of String Values in Shengchao Qin and Zongyan Qiu, Formal Methods and Software Engineering, Heidelberg, Germany: Springer Verlag Germany, vol. 6991, pp. 505-521, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2011, October 26-28, 2011 (ISBN 9783642245589) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/28241
2009 Articolo in Atti di convegno Ferrara P Checkmate: A generic static analyzer of Java multithreaded programs , 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods (ISBN 978-0-7695-3870-9)
DOI - Scheda ARCA: 10278/3722369
2008 Articolo su rivista FERRARA P; FRANCESCO LOGOZZO; MANUEL FAHNDRICH Safer unsafe code for .NET in ACM SIGPLAN NOTICES, vol. 43, pp. 329-346 (ISSN 1523-2867)
- Scheda ARCA: 10278/3722363
2008 Articolo in Atti di convegno Ferrara P; Logozzo F; Fahndrich M Safer unsafe code for .net , Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2008 (ISBN 978-160558215-3)
DOI - Scheda ARCA: 10278/3722366
2008 Articolo in Atti di convegno Ferrara P Static analysis of the determinism of multithreaded programs , 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, Convegno: SEFM 2008 (ISBN 978-0-7695-3437-4)
DOI - Scheda ARCA: 10278/3722368
2008 Articolo in Atti di convegno Ferrara P Static analysis via abstract interpretation of the happens-before memory model , Proceedings of TAP 2008 (ISBN 978-3-540-79123-2)
DOI - Scheda ARCA: 10278/3722365
2006 Articolo in Atti di convegno FERRARA P JAIL: Firewall Analysis of Java Card by Abstract Interpretation , Proceedings of the 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Convegno: Emerging Applications of Abstract Interpretation, 26/03/2006
- Scheda ARCA: 10278/3722370