| Static analysis for discovering IoT vulnerabilities P Ferrara, AK Mandal, A Cortesi, F Spoto International Journal on Software Tools for Technology Transfer 23, 71-88, 2021 | 80 | 2021 |
| Static analysis for GDPR compliance P Ferrara, F Spoto CEUR Workshop Proceedings 2058, 1-10, 2018 | 80 | 2018 |
| Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation O Tripp, P Ferrara, M Pistoia | 71 | 2014 |
| Static analysis of string values G Costantini, P Ferrara, A Cortesi Formal Methods and Software Engineering: 13th International Conference on …, 2011 | 69 | 2011 |
| A suite of abstract domains for static analysis of string values G Costantini, P Ferrara, A Cortesi Software: Practice and Experience 45 (2), 245-287, 2015 | 57 | 2015 |
| A survey on product operators in abstract interpretation A Cortesi, G Costantini, P Ferrara arXiv preprint arXiv:1309.5146, 2013 | 50 | 2013 |
| Sails: Static analysis of information leakage with sample M Zanioli, P Ferrara, A Cortesi Proceedings of the 2012 ACM symposium on Applied Computing, SAC 12, 2012 | 45 | 2012 |
| Security analysis of the OWASP benchmark with Julia P Ferrara, E Burato, NF Spoto CEUR Workshop Proceedings 1816, 242-247, 2017 | 42 | 2017 |
| Safer unsafe code for. net P Ferrara, F Logozzo, M Fähndrich ACM Sigplan Notices 43 (10), 329-346, 2008 | 37 | 2008 |
| TVAL+: TVLA and value analyses together P Ferrara, R Fuchs, U Juhasz International Conference on Software Engineering and Formal Methods, 63-77, 2012 | 36 | 2012 |
| Static identification of injection attacks in Java F Spoto, E Burato, MD Ernst, P Ferrara, A Lovato, D Macedonio, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (3), 1-58, 2019 | 35 | 2019 |
| Static analysis of Android Auto infotainment and on‐board diagnostics II apps AK Mandal, F Panarotto, A Cortesi, P Ferrara, F Spoto Software: Practice and Experience 49 (7), 1131-1161, 2019 | 31 | 2019 |
| Vulnerability analysis of android auto infotainment apps AK Mandal, A Cortesi, P Ferrara, F Panarotto, F Spoto Proceedings of the 15th ACM International Conference on Computing Frontiers …, 2018 | 31 | 2018 |
| Automatic inference of access permissions P Ferrara, P Müller International Workshop on Verification, Model Checking, and Abstract …, 2012 | 31 | 2012 |
| Static analysis via abstract interpretation of the happens-before memory model P Ferrara Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy …, 2008 | 27 | 2008 |
| Generic combination of heap and value analyses in abstract interpretation P Ferrara International Conference on Verification, Model Checking, and Abstract …, 2014 | 26 | 2014 |
| Tailoring taint analysis to GDPR P Ferrara, L Olivieri, F Spoto Privacy Technologies and Policy: 6th Annual Privacy Forum, APF 2018 …, 2018 | 24 | 2018 |
| Static type analysis of pattern matching by abstract interpretation P Ferrara International Conference on Formal Methods for Open Object-Based Distributed …, 2010 | 23 | 2010 |
| Datacentric semantics for verification of privacy policy compliance by mobile applications A Cortesi, P Ferrara, M Pistoia, O Tripp Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 22 | 2015 |
| Morphdroid: fine-grained privacy verification P Ferrara, O Tripp, M Pistoia Proceedings of the 31st Annual Computer Security Applications Conference …, 2015 | 21 | 2015 |
Agostino Cortesiprofessor of Computer Science, Ca' Foscari University在 unive.it 的电子邮件经过验证
