OLLIARO, MARTINA

OLLIARO, MARTINA  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Quantile-Based Watermarking Approach for Distortion Minimization 1-gen-2022 Perez Gort M. L.Olliaro M.Cortesi A. 4.1 Articolo in Atti di convegno -
Abstracting strings for model checking of C programs 1-gen-2020 Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
Completeness of Abstract Domains for String Analysis of JavaScript Programs 1-gen-2019 Arceri V.Olliaro M.Cortesi A. + 4.1 Articolo in Atti di convegno -
Completeness of string analysis for dynamic languages 1-gen-2021 Arceri V.Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
Empirical analysis of the impact of queries on watermarked relational databases 1-gen-2022 Olliaro M.Perez Gort M. L.Cortesi A. 2.1 Articolo su rivista -
Lifting String Analysis Domains 1-gen-2023 Olliaro, MartinaArceri, VincenzoCortesi, AgostinoFerrara, Pietro 3.1 Articolo su libro -
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 1-gen-2018 Agostino CortesiOLLIARO, MARTINA 4.1 Articolo in Atti di convegno -
Preface 1-gen-2023 Arceri V.Cortesi A.Ferrara P.Olliaro M. 3.2 Prefazione/Postfazione -
Preventing Additive Attacks to Relational Database Watermarking 1-gen-2019 Gort M. L. P.Olliaro M.Cortesi A. + 4.1 Articolo in Atti di convegno -
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking 1-gen-2022 PÉREZ GORT, Maikel LázaroOLLIARO, Martina.CORTESI,Agostino. 2.1 Articolo su rivista -
Relational data watermarking resilience to brute force attacks in untrusted environments 1-gen-2023 Perez Gort M. L.Olliaro M.Cortesi A. 2.1 Articolo su rivista -
Relational String Abstract Domains 1-gen-2022 Arceri V.Olliaro M.Cortesi A.Ferrara P. 4.1 Articolo in Atti di convegno -
Semantic-driven watermarking of relational textual databases 1-gen-2021 Perez Gort M. L.Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
String Abstraction for Model Checking of C Programs 1-gen-2019 Cortesi A.Olliaro M. + 4.1 Articolo in Atti di convegno -
String analysis for software verification 24-mar-2021 Olliaro, Martina - -
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness 1-gen-2024 PEREZ GORT, Maikel Lazaro.OLLIARO, MartinaCORTESI, Agostino 2.1 Articolo su rivista -