Martina Olliaro

14 papers B 1C 1Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness.
IEEE Access
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2023 — ed.
Challenges of Software Verification
Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
2023 — ch.
Lifting String Analysis Domains.
Challenges of Software Verification
Martina Olliaro, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2023 J jnl
Relational data watermarking resilience to brute force attacks in untrusted environments.
Expert Syst. Appl.
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2022 J jnl
Empirical analysis of the impact of queries on watermarked relational databases.
Expert Syst. Appl.
Martina Olliaro, Maikel Lázaro Pérez Gort, Agostino Cortesi
2022 J jnl
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking.
IEEE Access
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2022 B conf
Relational String Abstract Domains.
VMCAI
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
2021 — conf
A Quantile-Based Watermarking Approach for Distortion Minimization.
FPS
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi
2021 J jnl
Completeness of string analysis for dynamic languages.
Inf. Comput.
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2021 J jnl
Semantic-driven watermarking of relational textual databases.
Expert Syst. Appl.
Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino-Uribe
2019 C conf
Completeness of Abstract Domains for String Analysis of JavaScript Programs.
ICTAC
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2019 — conf
Preventing Additive Attacks to Relational Database Watermarking.
CONFENIS
Maikel Lázaro Pérez Gort, Martina Olliaro, Claudia Feregrino-Uribe, Agostino Cortesi
2019 — conf
String Abstraction for Model Checking of C Programs.
SPIN
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
2018 Misc conf
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs.
TASE
Agostino Cortesi, Martina Olliaro