OLLIARO, MARTINA
OLLIARO, MARTINA
A Quantile-Based Watermarking Approach for Distortion Minimization
2022-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.
Abstracting strings for model checking of C programs
2020-01-01 Lauko, H.; Olliaro, M.; Cortesi, A.; Rocckai, P.
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Empirical analysis of the impact of queries on watermarked relational databases
2022-01-01 Olliaro, M.; Perez Gort, M. L.; Cortesi, A.
Lifting String Analysis Domains
2023-01-01 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
2018-01-01 Cortesi, Agostino; Olliaro, Martina
Preface
2023-01-01 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
Preventing Additive Attacks to Relational Database Watermarking
2019-01-01 Gort, M. L. P.; Olliaro, M.; Feregrino-Uribe, C.; Cortesi, A.
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking
2022-01-01 PÉREZ GORT, Maikel Lázaro; Olliaro, Martina.; Cortesi, Agostino.
Relational data watermarking resilience to brute force attacks in untrusted environments
2023-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.
Relational String Abstract Domains
2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
Semantic-driven watermarking of relational textual databases
2021-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.; Feregrino Uribe, C.
String Abstraction for Model Checking of C Programs
2019-01-01 Cortesi, A.; Lauko, H.; Olliaro, M.; Rockai, P.
String analysis for software verification
2021-03-24 Olliaro, Martina
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness
2024-01-01 PEREZ GORT, Maikel Lazaro.; Olliaro, Martina; Cortesi, Agostino