Sfoglia per Autore OLLIARO, MARTINA
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
2018-01-01 Cortesi, Agostino; Olliaro, Martina
String Abstraction for Model Checking of C Programs
2019-01-01 Cortesi, A.; Lauko, H.; Olliaro, M.; Rockai, P.
Preventing Additive Attacks to Relational Database Watermarking
2019-01-01 Gort, M. L. P.; Olliaro, M.; Feregrino-Uribe, C.; Cortesi, A.
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Abstracting strings for model checking of C programs
2020-01-01 Lauko, H.; Olliaro, M.; Cortesi, A.; Rocckai, P.
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Semantic-driven watermarking of relational textual databases
2021-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.; Feregrino Uribe, C.
String analysis for software verification
2021-03-24 Olliaro, Martina
Relational String Abstract Domains
2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
A Quantile-Based Watermarking Approach for Distortion Minimization
2022-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.
Empirical analysis of the impact of queries on watermarked relational databases
2022-01-01 Olliaro, M.; Perez Gort, M. L.; 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.
Preface
2023-01-01 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
Relational data watermarking resilience to brute force attacks in untrusted environments
2023-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.
Lifting String Analysis Domains
2023-01-01 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness
2024-01-01 PEREZ GORT, Maikel Lazaro.; Olliaro, Martina; Cortesi, Agostino
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile