M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. - Agostino Cortesi; Martina Olliaro (TASE, 2018)

Completeness of Abstract Domains for String Analysis of JavaScript Programs. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Isabella Mastroeni (ICTAC, 2019)

Preventing Additive Attacks to Relational Database Watermarking. - Maikel Lázaro Pérez Gort; Martina Olliaro; Claudia Feregrino Uribe; Agostino Cortesi (CONFENIS, 2019)

String Abstraction for Model Checking of C Programs. - Agostino Cortesi; Henrich Lauko; Martina Olliaro; Petr Rockai (SPIN, 2019)

A Quantile-Based Watermarking Approach for Distortion Minimization. - Maikel Lázaro Pérez Gort; Martina Olliaro; Agostino Cortesi (FPS, 2021)

Semantic-driven watermarking of relational textual databases. - Maikel Lázaro Pérez Gort; Martina Olliaro; Agostino Cortesi; Claudia Feregrino Uribe (Expert Syst. Appl., 2021)

Completeness of string analysis for dynamic languages. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Isabella Mastroeni (Inf. Comput., 2021)

Relational String Abstract Domains. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Pietro Ferrara 001 (VMCAI, 2022)

Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking. - Maikel Lázaro Pérez Gort; Martina Olliaro; Agostino Cortesi (IEEE Access, 2022)

Empirical analysis of the impact of queries on watermarked relational databases. - Martina Olliaro; Maikel Lázaro Pérez Gort; Agostino Cortesi (Expert Syst. Appl., 2022)

Relational data watermarking resilience to brute force attacks in untrusted environments. - Maikel Lázaro Pérez Gort; Martina Olliaro; Agostino Cortesi (Expert Syst. Appl., 2023)

Lifting String Analysis Domains. - Martina Olliaro; Vincenzo Arceri; Agostino Cortesi; Pietro Ferrara 001 (Challenges of Software Verification, 2023)

Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness. - Maikel Lázaro Pérez Gort; Martina Olliaro; Agostino Cortesi (IEEE Access, 2024)