Pietro FERRARA

Position: Associate Professor

Telephone: 041 234 8425

E-mail: pietro.ferrara@unive.it

Scientific sector (SSD): Informatica [INFO-01/A]

Website: www.unive.it/people/pietro.ferrara (personal record)
https://pietroferrara.github.io/

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

Year	Type	Publication

Year	Type	Publication
1 - 10 / 64 (64)
2025	Article in Conference Proceedings	Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 329-337, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing DOI - ARCA card: 10278/5091431
2025	Article in Conference Proceedings	Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 338-347, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing DOI - ARCA card: 10278/5091430
2024	Journal Article	Ferrara P.; Arceri V.; Cortesi A. Challenges of software verification: the past, the present, the future in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 421-430 (ISSN 1433-2779) DOI - ARCA card: 10278/5070241
2024	Journal Article	Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536) DOI - ARCA card: 10278/5060921
2024	Journal Article	Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536) DOI - ARCA card: 10278/5083652
2024	Journal Article	Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca Inference of access policies through static analysis in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 797-821 (ISSN 1433-2779) DOI - ARCA card: 10278/5091727
2024	Journal Article	Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. 36 (ISSN 2047-7481) DOI - ARCA card: 10278/5050041
2024	Article in Conference Proceedings	Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - ARCA card: 10278/5062421
2024	Article in Conference Proceedings	Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073) - ARCA card: 10278/5083061
2024	Article in Conference Proceedings	Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 5-10, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - ARCA card: 10278/5072661
2024	Article in Conference Proceedings	Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino Stability: An Abstract Domain for the Trend of Variation of Numerical Variables , NSAD 2024: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, pp. 10-17, Convegno: The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains DOI - ARCA card: 10278/5085612
2024	Article in Conference Proceedings	Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743) DOI - ARCA card: 10278/5072663
2023	Journal Article	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 - ARCA card: 10278/5020963
2023	Book Article	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 - ARCA card: 10278/5031340
2023	Book Article	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 - ARCA card: 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) - ARCA card: 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 - ARCA card: 10278/5049843
2023	Article in Conference Proceedings	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) (ISBN 978-3-95977-281-5) DOI - ARCA card: 10278/5020965
2022	Article in Conference Proceedings	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 - ARCA card: 10278/5004420
2022	Article in Conference Proceedings	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 - ARCA card: 10278/3754133
2021	Journal Article	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 - ARCA card: 10278/5004098
2021	Journal Article	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 - ARCA card: 10278/3734701
2021	Article in Conference Proceedings	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 - ARCA card: 10278/3741476
2021	Article in Conference Proceedings	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 - ARCA card: 10278/3736434
2020	Journal Article	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 - ARCA card: 10278/3721692
2020	Book Article	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 - ARCA card: 10278/3734702
2020	Article in Conference Proceedings	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 - ARCA card: 10278/3720935
2020	Article in Conference Proceedings	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 - ARCA card: 10278/3731397
2020	Article in Conference Proceedings	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 - ARCA card: 10278/3720937
2020	Article in Conference Proceedings	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 - ARCA card: 10278/3738620
2019	Journal Article	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 - ARCA card: 10278/3720831
2019	Journal Article	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 - ARCA card: 10278/3730032
2019	Journal Article	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 - ARCA card: 10278/3714436
2018	Journal Article	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 - ARCA card: 10278/3702275
2018	Article in Conference Proceedings	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 - ARCA card: 10278/3703089
2018	Article in Conference Proceedings	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 - ARCA card: 10278/3706889
2018	Article in Conference Proceedings	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 - ARCA card: 10278/3730033
2018	Article in Conference Proceedings	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 - ARCA card: 10278/3708770
2018	Article in Conference Proceedings	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 - ARCA card: 10278/3730034
2018	Article in Conference Proceedings	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 - ARCA card: 10278/3703090
2017	Article in Conference Proceedings	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 - ARCA card: 10278/3730038
2017	Article in Conference Proceedings	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 - ARCA card: 10278/3730036
2017	Article in Conference Proceedings	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 - ARCA card: 10278/3730035
2017	Article in Conference Proceedings	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 - ARCA card: 10278/3730037
2016	Journal Article	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 - ARCA card: 10278/3730030
2016	Article in Conference Proceedings	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 - ARCA card: 10278/3684287
2016	Article in Conference Proceedings	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 - ARCA card: 10278/3730041
2016	Article in Conference Proceedings	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 - ARCA card: 10278/3730040
2015	Journal Article	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 - ARCA card: 10278/37774
2015	Journal Article	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 - ARCA card: 10278/3661627
2015	Article in Conference Proceedings	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 - ARCA card: 10278/3661631
2015	Article in Conference Proceedings	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 - ARCA card: 10278/3661633
2014	Article in Conference Proceedings	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 - ARCA card: 10278/39569
2013	Journal Article	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 - ARCA card: 10278/38043
2013	Article in Conference Proceedings	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 - ARCA card: 10278/37776
2012	Article in Conference Proceedings	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 - ARCA card: 10278/37157
2012	Article in Conference Proceedings	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 - ARCA card: 10278/27119
2011	Article in Conference Proceedings	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 - ARCA card: 10278/28241
2009	Article in Conference Proceedings	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 - ARCA card: 10278/3722369
2008	Journal Article	FERRARA P; FRANCESCO LOGOZZO; MANUEL FAHNDRICH Safer unsafe code for .NET in ACM SIGPLAN NOTICES, vol. 43, pp. 329-346 (ISSN 1523-2867) - ARCA card: 10278/3722363
2008	Article in Conference Proceedings	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 - ARCA card: 10278/3722366
2008	Article in Conference Proceedings	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 - ARCA card: 10278/3722368
2008	Article in Conference Proceedings	Ferrara P Static analysis via abstract interpretation of the happens-before memory model , Proceedings of TAP 2008 (ISBN 978-3-540-79123-2) DOI - ARCA card: 10278/3722365
2006	Article in Conference Proceedings	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 - ARCA card: 10278/3722370

List of selected publications

Type	Name	Sender (Domain)	Description	Duration	Policy
Essential	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	They maintain the session data of the SingleSignOn.	session	Information by Ca' Foscari University
Essential	PHPSESSID	Unive.it (www.unive.it)	Unique user identifier for the website applications.	session	Information by Ca' Foscari University
Essential	cookie[*]	Unive.it (www.unive.it)	It stores the user's preferences on cookies. user preferences on cookies.	1 month	Information by Ca' Foscari University
Essential	cookie	idp.unive.it	It stores the user's preferences on cookies.	1 month	Information by Ca' Foscari University
Essential	fe_typo_user	Unive.it (www.unive.it)	Unique user identifier for the reserved area of the website	session	Information by Ca' Foscari University
Essential	JSESSIONID	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information by Ca' Foscari University
Essential	ADMCMD_prev	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information by Ca' Foscari University
Essential	unive.it	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information by Ca' Foscari University
Essential	noiframe	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information by Ca' Foscari University
Essential	_pk_id[*]	unive/WAI	*	30 days	Information by Matomo
Essential	_pk_ses[*]	unive/WAI	*	1 day	Information by Matomo
Essential	_pk_ref[*]	unive/WAI	*	6 months	Information by Matomo
Essential	_gsas[*]	unive/google	It stores the user's preferences on cookies.	3 months	Information by Google
Essential	_opensaml_req_cookie%[*]	unive	Authentication and SingleSignOn (shibboleth)	session	Information by Ca' Foscari University
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information by Google
Google - Youtube	CONSENT	Google (google.com)	Used by Google to store the user's preferences.	17 years	Information by Google
Google - Youtube	__Secure-1PSID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information by Google
Essential	Socialpix	Unive.it (www.unive.it)	They are used to record cookie preferences	6 months	Information by Ca' Foscari University
Facebook - Pixel	_fbp	Unive.it (www.unive.it)	Tracks users for retargeting advertising on Facebook	3 months	Information by Facebook
Facebook - Pixel	datr	Facebook	Marketing	2 anni	Information by Facebook