Publications

2021

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto: “Static analysis for discovering IoT vulnerabilities.”, in Int. J. Softw. Tools Technol. Transf., Vol. 23 [LINK]

Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino Uribe: “Semantic-driven watermarking of relational textual databases.”, in Expert Syst. Appl., Vol. 167 [LINK]

Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki: “NFR-aware prioritization of software requirements.”, in Syst. Eng., Vol. 24 [LINK]

Souvick Das, Novarun Deb, Agostino Cortesi, Nabendu Chaki: “Sentence Embedding Models for Similarity Detection of Software Requirements.”, in SN Comput. Sci., Vol. 2 [LINK]

Partha Ghosh, Soumya Sen, Agostino Cortesi: “Skyline computation over multiple points and dimensions.”, in Innov. Syst. Softw. Eng. 17(2): 141-156[LINK]

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi: “Twinning Automata and Regular Expressions for String Static Analysis.”, in Proceedings of VMCAI 2021 [LINK]

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi: “Static analysis for dummies: experiencing LiSA.”, in Proceedings of ACM SOAP@PLDI [LINK]

2020

Stefano Calzavara, Pietro Ferrara, Claudio Lucchese: “Certifying Decision Trees Against Evasion Attacks by Program Analysis.”, in CoRR, Vol. abs/2007.02771 [LINK]

Maikel Lázaro Pérez Gort, Claudia Feregrino Uribe, Agostino Cortesi, Félix Fernández-Peña: “A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization.”, in IEEE Access, Vol. 8 [LINK]

Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi: “Extending Abstract Interpretation to Dependency Analysis of Database Applications.”, in IEEE Trans. Software Eng., Vol. 46 [LINK]

Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi: “Generation of Safety and Liveness Complaint Automata from Goal Model Specifications.”, in Proceedings of EDCC 2020 [LINK]

Alvise Spanò, Agostino Cortesi: “Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability.”, in Sensors, Vol. 20 [LINK]

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi: “Twinning automata and regular expressions for string static analysis.”, in CoRR, Vol. abs/2006.02715 [LINK]

Pietro Ferrara, Luca Negrini: “SARL: OO Framework Specification for Static Analysis.”, in Proceedings of VSTTE 2020 [LINK]

Pietro Ferrara, Luca Olivieri, Fausto Spoto: “BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results.”, in Proceedings of VMCAI 2020 [LINK]

Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto: “Cross-program taint analysis for IoT systems.”, in Proceedings of SAC 2020 [LINK]

Stefano Calzavara, Pietro Ferrara, Claudio Lucchese: “Certifying Decision Trees Against Evasion Attacks by Program Analysis.”, in Proceedings of ESORICS (2) 2020 [LINK]

Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto: “Intents Analysis of Android Apps for Confidentiality Leakage Detection.”, in Proceedings of ACSS (1) 2020 [LINK]

Pietro Ferrara, Agostino Cortesi, Fausto Spoto: “From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.”, in Sci. Comput. Program., Vol. 191 [LINK]

2019

Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi: “Replaceability and negotiation in a cloud service ecosystem.”, in J. Cloud Comput., Vol. 8 [LINK]

Maikel Lázaro Pérez Gort, Martina Olliaro, Claudia Feregrino Uribe, Agostino Cortesi: “Preventing Additive Attacks to Relational Database Watermarking.”, in Proceedings of CONFENIS 2019 [LINK]

Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen: “Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems.”, in CoRR, Vol. abs/1908.05310 [LINK]

Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai: “String Abstraction for Model Checking of C Programs.”, in Proceedings of SPIN 2019 [LINK]

Amit Kr Mandal, Agostino Cortesi, Anirban Sarkar, Nabendu Chaki: “Things as a Service: Service model for IoT.”, in Proceedings of INDIN 2019 [LINK]

Manali Chakraborty, Alvise Spanò, Agostino Cortesi: “Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks.”, in Proceedings of CISIM 2019 [LINK]

Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni: “Completeness of Abstract Domains for String Analysis of JavaScript Programs.”, in Proceedings of ICTAC 2019 [LINK]

Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen: “Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems.”, in Proceedings of EuroS&P Workshops 2019 [LINK]

Alvise Spanò, Agostino Cortesi, Giulio Zausa: “Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability.”, in Proceedings of CISIM 2019 [LINK]

Maikel Lázaro Pérez Gort, Claudia Feregrino Uribe, Agostino Cortesi, Félix Fernández-Peña: “HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data.”, in Expert Syst. Appl., Vol. 138 [LINK]

Agostino Cortesi, Omer Tripp: “Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy).”, in J. Comput. Lang., Vol. 52 [LINK]

Ruffin White, Gianluca Caiazza, Agostino Cortesi, Young Im Cho, Henrik I. Christensen: “Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain.”, in IEEE Robotics Autom. Lett., Vol. 4 [LINK]

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto: “Cross-Programming Language Taint Analysis for the IoT Ecosystem.”, in Electron. Commun. Eur. Assoc. Softw. Sci. Technol., Vol. 77 [LINK]

Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto: “Static analysis of Android Auto infotainment and on-board diagnostics II apps.”, in Softw. Pract. Exp., Vol. 49 [LINK]

Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon: “Static Identification of Injection Attacks in Java.”, in ACM Trans. Program. Lang. Syst., Vol. 41 [LINK]

2018

Agostino Cortesi, Martina Olliaro: “M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs.”, in Proceedings of TASE 2018 [LINK]

Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto: “Static Analysis of Android Apps Interaction with Automotive CAN.”, in Proceedings of SmartCom 2018 [LINK]

Pietro Ferrara, Fausto Spoto: “Static Analysis for GDPR Compliance.”, in Proceedings of ITASEC 2018 [LINK]

Pietro Ferrara, Agostino Cortesi, Fausto Spoto: “CIL to Java-bytecode translation for static analysis leveraging.”, in Proceedings of FormaliSE@ICSE 2018 [LINK]

Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto: “Vulnerability analysis of Android auto infotainment apps.”, in Proceedings of CF 2018 [LINK]

Gianluca Caiazza, Ruffin White, Agostino Cortesi: “Enhancing Security in ROS.”, in Proceedings of ACSS (2) 2018 [LINK]

Fabio Mondin, Agostino Cortesi: “MySQL Extension Automatic Porting to PDO for PHP Migration and Security Improvement.”, in Proceedings of CISIM 2018 [LINK]

Riya Samanta, Chandni Kumari, Novarun Deb, Sagar Bose, Agostino Cortesi, Nabendu Chaki: “Node localization for indoor tracking using artificial neural network.”, in Proceedings of FMEC 2018 [LINK]

Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi: “Procedurally Provisioned Access Control for Robotic Systems.”, in Proceedings of IROS 2018 [LINK]

Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi: “SDLI: Static Detection of Leaks Across Intents.”, in Proceedings of TrustCom/BigDataSE 2018 [LINK]

Ruffin White, Gianluca Caiazza, Henrik I. Christensen, Agostino Cortesi: “Procedurally Provisioned Access Control for Robotic Systems.”, in CoRR, Vol. abs/1810.08125 [LINK]

Pietro Ferrara, Luca Olivieri, Fausto Spoto: “Tailoring Taint Analysis to GDPR.”, in Proceedings of APF 2018 [LINK]

Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli: “Combining Symbolic and Numerical Domains for Information Leakage Analysis.”, in Trans. Comput. Sci., Vol. 31 [LINK]

2017

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore: “High performance encapsulation and networking in Casanova 2.”, in Entertain. Comput., Vol. 20 [LINK]

Al-Sakib Khan Pathan, Yudong Zhang 0001, Sambit Bakshi, Patrick Siarry, Pankaj Kumar Sa, Nabendu Chaki, Agostino Cortesi: “Introduction to special issue on ‘intelligent computing and adaptive systems’.”, in Innov. Syst. Softw. Eng., Vol. 13 [LINK]

Malik Khurram Awan, Agostino Cortesi: “Blockchain Transaction Analysis Using Dominant Sets.”, in Proceedings of CISIM 2017 [LINK]

Enrico Eugenio, Agostino Cortesi: “WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation.”, in Proceedings of ICDCIT 2017 [LINK]

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore: “Metacasanova: an optimized meta-compiler for domain-specific languages.”, in Proceedings of SLE 2017 [LINK]

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen: “Using Abstract Interpretation to Correct Synchronization Faults.”, in Proceedings of VMCAI 2017 [LINK]

David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara: “Foraging goes mobile: Foraging while debugging on mobile devices.”, in Proceedings of VL/HCC 2017 [LINK]

Pietro Ferrara, Elisa Burato, Fausto Spoto: “Security Analysis of the OWASP Benchmark with Julia.”, in Proceedings of ITASEC 2017 [LINK]

Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia: “Visual Configuration of Mobile Privacy Policies.”, in Proceedings of FASE 2017 [LINK]

2016

Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin: “Pinpointing mobile malware using code analysis.”, in Proceedings of MOBILESoft 2016 [LINK]

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore: “Building Game Scripting DSL’s with the Metacasanova Metacompiler.”, in Proceedings of INTETAIN 2016 [LINK]

Pietro Ferrara: “A generic framework for heap and value analyses of object-oriented programming languages.”, in Theor. Comput. Sci., Vol. 631 [LINK]

Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara: “FASE: functionality-aware security enforcement.”, in Proceedings of ACSAC 2016 [LINK]

Supriya Chakraborty, Agostino Cortesi, Nabedu Chaki: “A uniform representation of multi-variant data in intensive-query databases.”, in Innov. Syst. Softw. Eng., Vol. 12 [LINK]

Raju Halder, Angshuman Jana, Agostino Cortesi: “Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain.”, in Trans. Large Scale Data Knowl. Centered Syst., Vol. 23 [LINK]

Soumya Sen, Agostino Cortesi, Nabendu Chaki: “ROLAP based data warehouse schema to XML schema conversion.”, in Proceedings of ICIT 2016 [LINK]

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo: “DAPA: Degradation-Aware Privacy Analysis of Android Apps.”, in Proceedings of STM 2016 [LINK]

2015

Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi: “Policy-Based Slicing of Hibernate Query Language.”, in Proceedings of CISIM 2015 [LINK]

Mohamed Abbadi, Francesco Di Giacomo, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore: “Casanova: A Simple, High-Performance Language for Game Development.”, in Proceedings of JCSG 2015 [LINK]

Angshuman Jana, Raju Halder, Agostino Cortesi: “Verification of Hibernate Query Language by Abstract Interpretation.”, in Proceedings of IScIDE (2) 2015 [LINK]

Soumya Sen, Partha Ghosh, Agostino Cortesi: “Materialized View Construction Using Linearizable Nonlinear Regression.”, in Proceedings of ACSS (1) 2015 [LINK]

Giulia Costantini, Pietro Ferrara, Agostino Cortesi: “A suite of abstract domains for static analysis of string values.”, in Softw. Pract. Exp., Vol. 45 [LINK]

Agostino Cortesi, Giulia Costantini, Pietro Ferrara: “The abstract domain of Trapezoid Step Functions.”, in Comput. Lang. Syst. Struct., Vol. 43 [LINK]

Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp: “Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.”, in Proceedings of VMCAI 2015 [LINK]

Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia: “ShamDroid: gracefully degrading functionality in the presence of limited resource access.”, in Proceedings of OOPSLA 2015 [LINK]

Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze: “Automatic detection, correction, and visualization of security vulnerabilities in mobile apps.”, in Proceedings of MobileDeLi 2015 [LINK]

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp: “Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis.”, in Proceedings of CISIM 2015 [LINK]

Pietro Ferrara, Peter Müller, Milos Novácek: “Automatic Inference of Heap Properties Exploiting Value Domains.”, in Proceedings of VMCAI 2015 [LINK]

Pietro Ferrara, Omer Tripp, Marco Pistoia: “MorphDroid: Fine-grained Privacy Verification.”, in Proceedings of ACSAC 2015 [LINK]

2014

Agostino Cortesi, Raju Halder: “Information-Flow Analysis of Hibernate Query Language.”, in Proceedings of FDSE 2014 [LINK]

Manali Chakraborty, Nabendu Chaki, Agostino Cortesi: “A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities.”, in Proceedings of FedCSIS 2014 [LINK]

Raju Halder, Matteo Zanioli, Agostino Cortesi: “Information leakage analysis of database query languages.”, in Proceedings of SAC 2014 [LINK]

Pietro Ferrara: “Generic Combination of Heap and Value Analyses in Abstract Interpretation.”, in Proceedings of VMCAI 2014 [LINK]

Lucas Brutschy, Pietro Ferrara, Peter Müller: “Static analysis for independent app developers.”, in Proceedings of OOPSLA 2014 [LINK]

Lucas Brutschy, Pietro Ferrara, Peter Müller: “TouchGuru: Integrating Static Analysis with a Mobile Development Environment.”, in Proceedings of MobileDeLi 2014 [LINK]

Omer Tripp, Pietro Ferrara, Marco Pistoia: “Hybrid security analysis of web JavaScript code via dynamic partial evaluation.”, in Proceedings of ISSTA 2014 [LINK]

Pietro Ferrara, Daniel Schweizer, Lucas Brutschy: “TouchCost: Cost Analysis of TouchDevelop Scripts.”, in Proceedings of FASE 2014 [LINK]

2013

Raju Halder, Agostino Cortesi: “Abstract program slicing on dependence condition graphs.”, in Sci. Comput. Program., Vol. 78 [LINK]

Agostino Cortesi, Raju Halder: “Abstract Interpretation of Recursive Queries.”, in Proceedings of ICDCIT 2013 [LINK]

Raju Halder, Agostino Cortesi: “Abstract program slicing of database query languages.”, in Proceedings of SAC 2013 [LINK]

Bidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki: “Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets.”, in Proceedings of FedCSIS 2013 [LINK]

Pietro Ferrara: “A generic static analyzer for multithreaded Java programs.”, in Softw. Pract. Exp., Vol. 43 [LINK]

Agostino Cortesi, Pietro Ferrara, Nabendu Chaki: “Static analysis techniques for robotics software verification.”, in Proceedings of ISR 2013 [LINK]

Agostino Cortesi, Giulia Costantini, Pietro Ferrara: “A Survey on Product Operators in Abstract Interpretation.”, in Proceedings of Festschrift for Dave Schmidt 2013 [LINK]

Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi: “The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.”, in Proceedings of ICFEM 2013 [LINK]

2012

Pietro Ferrara, Peter Müller: “Automatic Inference of Access Permissions.”, in Proceedings of VMCAI 2012 [LINK]

Soumya Sen, Anjan Dutta 0002, Agostino Cortesi, Nabendu Chaki: “A New Scale for Attribute Dependency in Large Database Systems”, in CoRR, Vol. abs/1206.6322 [LINK]

Raju Halder, Agostino Cortesi: “Tukra: An Abstract Program Slicing Tool.”, in Proceedings of ICSOFT 2012 [LINK]

Raju Halder, Agostino Cortesi: “Abstract interpretation of database query languages.”, in Comput. Lang. Syst. Struct., Vol. 38 [LINK]

Soumya Sen, Anjan Dutta 0002, Agostino Cortesi, Nabendu Chaki: “A New Scale for Attribute Dependency in Large Database Systems.”, in Proceedings of CISIM 2012 [LINK]

Pietro Ferrara, Raphael Fuchs, Uri Juhasz: “TVAL+ : TVLA and Value Analyses Together.”, in Proceedings of SEFM 2012 [LINK]

Matteo Zanioli, Pietro Ferrara, Agostino Cortesi: “SAILS: static analysis of information leakage with sample.”, in Proceedings of SAC 2012 [LINK]

Giulia Costantini, Pietro Ferrara, Agostino Cortesi: “Linear Approximation of Continuous Systems with Trapezoid Step Functions.”, in Proceedings of APLAS 2012 [LINK]

2011

Giulia Costantini, Pietro Ferrara, Agostino Cortesi: “Static Analysis of String Values.”, in Proceedings of ICFEM 2011 [LINK]

Antonio Candiello, Agostino Cortesi: “KPI-Supported PDCA Model for Innovation Policy Management in Local Government.”, in Proceedings of EGOV 2011 [LINK]

Matteo Zanioli, Agostino Cortesi: “Information Leakage Analysis by Abstract Interpretation.”, in Proceedings of SOFSEM 2011 [LINK]

Raju Halder, Agostino Cortesi: “Cooperative Query Answering by Abstract Interpretation.”, in Proceedings of SOFSEM 2011 [LINK]

Giuseppe Maggiore, Andrea Torsello, Flavio Sartoretto, Agostino Cortesi: “Engaging high school students in computer science via challenging applications.”, in Proceedings of SIGITE Conference 2011 [LINK]

Alvise Spanò, Michele Bugliesi, Agostino Cortesi: “Typing Legacy COBOL Code.”, in Proceedings of ICSOFT (Selected Papers) 2011 [LINK]

Sukriti Bhattacharya, Agostino Cortesi: “Property Driven Program Slicing Refinement.”, in Proceedings of ICSOFT (2) 2011 [LINK]

Alvise Spanò, Michele Bugliesi, Agostino Cortesi: “Type-flow Analysis for Legacy COBOL Code.”, in Proceedings of ICSOFT (2) 2011 [LINK]

Antonio Candiello, Agostino Cortesi: “KPIs from Web Agents for Policies’ Impact Analysis and Products’ Brand Assessment.”, in Proceedings of CISIM 2011 [LINK]

Raju Halder, Agostino Cortesi: “Observation-Based Fine Grained Access Control for XML Documents.”, in Proceedings of CISIM 2011 [LINK]

Agostino Cortesi, Matteo Zanioli: “Widening and narrowing operators for abstract interpretation.”, in Comput. Lang. Syst. Struct., Vol. 37 [LINK]

2010

Raju Halder, Agostino Cortesi: “Fine Grained Access Control for Relational Databases by Abstract Interpretation.”, in Proceedings of ICSOFT (Selected Papers) 2010 [LINK]

Antonio Candiello, Andrea Albarelli, Agostino Cortesi: “Three-layered QoS for eGovernment web services.”, in Proceedings of DG.O 2010 [LINK]

Agostino Cortesi, Raju Halder: “Dependence condition graph for semantics-based abstract program slicing.”, in Proceedings of LDTA 2010 [LINK]

Raju Halder, Agostino Cortesi: “Observation-based Fine Grained Access Control for Relational Databases.”, in Proceedings of ICSOFT (1) 2010 [LINK]

Sukriti Bhattacharya, Agostino Cortesi: “Database Authentication by Distortion Free Watermarking.”, in Proceedings of ICSOFT (1) 2010 [LINK]

Sukriti Bhattacharya, Agostino Cortesi: “Distortion-Free Authentication Watermarking.”, in Proceedings of ICSOFT (Selected Papers) 2010 [LINK]

Raju Halder, Agostino Cortesi: “A Persistent Public Watermarking of Relational Databases.”, in Proceedings of ICISS 2010 [LINK]

Raju Halder, Agostino Cortesi: “Obfuscation-based analysis of SQL injection attacks.”, in Proceedings of ISCC 2010 [LINK]

Raju Halder, Shantanu Pal, Agostino Cortesi: “Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.”, in J. Univers. Comput. Sci., Vol. 16 [LINK]

Mayla Brusò, Agostino Cortesi: “Non-repudiation analysis using LySa with annotations.”, in Comput. Lang. Syst. Struct., Vol. 36 [LINK]

Pietro Ferrara: “Static Type Analysis of Pattern Matching by Abstract Interpretation.”, in Proceedings of FMOODS/FORTE 2010 [LINK]

2009

Pietro Ferrara: “Checkmate: A Generic Static Analyzer of Java Multithreaded Programs.”, in Proceedings of SEFM 2009 [LINK]

Giulia Costantini, Giuseppe Maggiore, Agostino Cortesi: “Learning by Fixing and Extending Games.”, in Proceedings of Eurographics (Education Papers) 2009 [LINK]

Sukriti Bhattacharya, Agostino Cortesi: “A Generic Distortion Free Watermarking Technique for Relational Databases.”, in Proceedings of ICISS 2009 [LINK]

Sukriti Bhattacharya, Agostino Cortesi: “A Distortion Free Watermark Framework for Relational Databases.”, in Proceedings of ICSOFT (2) 2009 [LINK]

Mayla Brusò, Agostino Cortesi: “Non-repudiation Analysis with LySa.”, in Proceedings of SEC 2009 [LINK]

2008

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: “Information flow security in Boundary Ambients.”, in Inf. Comput., Vol. 206 [LINK]

Agostino Cortesi: “Widening Operators for Abstract Interpretation.”, in Proceedings of SEFM 2008 [LINK]

Antonio Candiello, Andrea Albarelli, Agostino Cortesi: “An Ontology-based Inquiry Framework.”, in Proceedings of SWAP 2008 [LINK]

Pietro Ferrara: “Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.”, in Proceedings of TAP 2008 [LINK]

Pietro Ferrara: “Static Analysis of the Determinism of Multithreaded Programs.”, in Proceedings of SEFM 2008 [LINK]

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: “Safer unsafe code for .NET.”, in Proceedings of OOPSLA 2008 [LINK]

2007

Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: “A calculus of challenges and responses.”, in Proceedings of FMSE 2007 [LINK]

Michael Backes 0001, Agostino Cortesi, Matteo Maffei: “Causality-based Abstraction of Multiplicity in Security Protocols.”, in Proceedings of CSF 2007 [LINK]

2006

Francesco Logozzo, Agostino Cortesi: “Semantic Hierarchy Refactoring by Abstract Interpretation.”, in Proceedings of VMCAI 2006 [LINK]

2005

Chiara Braghin, Agostino Cortesi: “Flow-sensitive Leakage Analysis in Mobile Ambients.”, in Electron. Notes Theor. Comput. Sci., Vol. 128 [LINK]

Agostino Cortesi, Francesco Logozzo: “Preface.”, in Electron. Notes Theor. Comput. Sci., Vol. 131 [LINK]

Francesco Logozzo, Agostino Cortesi: “Abstract Interpretation and Object-oriented Programming: Quo Vadis?”, in Electron. Notes Theor. Comput. Sci., Vol. 131 [LINK]

Agostino Cortesi, Francesco Logozzo: “Abstract Interpretation-Based Verification of Non-functional Requirements.”, in Proceedings of COORDINATION 2005 [LINK]

2004

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: “Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.”, in Electron. Notes Theor. Comput. Sci., Vol. 99 [LINK]

Lenore D. Zuck, Paul C. Attie, Agostino Cortesi: “Preface by the section editors.”, in Int. J. Softw. Tools Technol. Transf., Vol. 6 [LINK]

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: “Nesting analysis of mobile ambients.”, in Comput. Lang. Syst. Struct., Vol. 30 [LINK]

2003

Agostino Cortesi, Gilberto Filé: “Static Analysis.”, in Sci. Comput. Program., Vol. 47 [LINK]

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: “BANANA – A Tool for Boundary Ambients Nesting ANAlysis.”, in Proceedings of TACAS 2003 [LINK]

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: “Complexity of Nesting Analysis in Mobile Ambients.”, in Proceedings of VMCAI 2003 [LINK]

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: “Information Leakage Detection in Boundary Ambients.”, in Electron. Notes Theor. Comput. Sci., Vol. 78 [LINK]

2002

Agostino Cortesi, Riccardo Focardi: “Computer languages and security.”, in Comput. Lang. Syst. Struct., Vol. 28 [LINK]

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: “Security boundaries in mobile ambients.”, in Comput. Lang. Syst. Struct., Vol. 28 [LINK]

Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: “Operational and abstract semantics of the query language G-Log.”, in Theor. Comput. Sci., Vol. 275 [LINK]

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: “Control Flow Analysis of Mobile Ambients with Security Boundaries.”, in Proceedings of FMOODS 2002 [LINK]

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: “Boundary Inference for Enforcing Security Policies in Mobile Ambients.”, in Proceedings of IFIP TCS 2002 [LINK]

2001

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: “Reexecution-Based Analysis of Logic Programs with Delay Declarations.”, in Proceedings of Ershov Memorial Conference 2001 [LINK]

Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier: “Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.”, in Proceedings of APPIA-GULP-PRODE 2001 [LINK]

Giuseppe Callegarin, Agostino Cortesi: “An Italian National Curriculum on ICT for Schools.”, in Proceedings of WCCE 2001 [LINK]

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: “Distinctness and Sharing Domains for Static Analysis of Java Programs.”, in Proceedings of ECOOP 2001 [LINK]

Agostino Cortesi, Riccardo Focardi: “Information Flow Security in Mobile Ambients.”, in Electron. Notes Theor. Comput. Sci., Vol. 54 [LINK]

2000

Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: “Abstract Domains for Reordering CLP(R”, in J. Log. Program., Vol. 42 [LINK]

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: “Combinations of abstract domains for logic programming: open product and generic pattern construction.”, in Sci. Comput. Program., Vol. 38 [LINK]

1999

Agostino Cortesi, Gilberto Filé: “Sharing is Optimal.”, in J. Log. Program., Vol. 38 [LINK]

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: “Automated Verification of Prolog Programs.”, in J. Log. Program., Vol. 39 [LINK]

1998

Agostino Cortesi, Gilberto Filé, William H. Winsborough: “The Quotient of an Abstract Interpretation.”, in Theor. Comput. Sci., Vol. 202 [LINK]

Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: “Operational and Abstract Semantics of a Query Language for Semi-Structured Information.”, in Proceedings of APPIA-GULP-PRODE 1998 [LINK]

Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: “Operational and Abstract Semantics of a Query Language for Semi-Structured Information.”, in Proceedings of DDLP 1998 [LINK]

1997

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: “Complementation in Abstract Interpretation.”, in ACM Trans. Program. Lang. Syst., Vol. 19 [LINK]

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: “Automated Behavioural Verification of Prolog Programs.”, in Proceedings of APPIA-GULP-PRODE 1997 [LINK]

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: “Automated Verification of Behavioural Properties of Prolog Programs.”, in Proceedings of ASIAN 1997 [LINK]

1996

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: “Specification-Based Automatic Verification of Prolog Programs.”, in Proceedings of LOPSTR 1996 [LINK]

Agostino Cortesi, Gilberto Filé, William H. Winsborough: “Optimal Groundness Analysis Using Propositional Logic.”, in J. Log. Program., Vol. 27 [LINK]

1995

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: “Type Analysis of Prolog Using Type Graphs.”, in J. Log. Program., Vol. 22 [LINK]

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: “Evaluation of the Domain “, in J. Log. Program., Vol. 23 [LINK]

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: “Complementation in Abstract Interpretation”, in Proceedings of SAS 1995 [LINK]

1994

Agostino Cortesi, Gilberto Filé, William H. Winsborough: “The Quotient of an Abstract Interpretation for Comparing Static Analyses.”, in Proceedings of GULP-PRODE (1) 1994 [LINK]

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: “Type Analysis of Prolog Using Type Graphs.”, in Proceedings of ACM PLDI 1994 [LINK]

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: “Combinations of Abstract Domains for Logic Programming.”, in Proceedings of ACM POPL 1994 [LINK]

1993

Agostino Cortesi, Gilberto Filé: “Graph Properties for Normal Logic Programs.”, in Theor. Comput. Sci., Vol. 107 [LINK]

Agostino Cortesi, Gilberto Filé: “Comparison and design of abstract domains for sharing analysis.”, in Proceedings of GULP 1993 [LINK]

1992

Agostino Cortesi, Gilberto Filé, William H. Winsborough: “Comparison of Abstract Interpretations.”, in Proceedings of ICALP 1992 [LINK]

1991

Agostino Cortesi, Gilberto Filé, William H. Winsborough: “Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis”, in Proceedings of IEEE LICS 1991 [LINK]

Agostino Cortesi, Gilberto Filé: “Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.”, in Proceedings of ACM PEPM 1991 [LINK]