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