Martina OLLIARO

Qualifica
Cultrice della materia
E-mail
martina.olliaro@unive.it
Sito web
www.unive.it/persone/martina.olliaro (scheda personale)
 www.dais.unive.it/~molliaro/
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2023 Articolo su rivista Perez Gort M.L.; Olliaro M.; Cortesi A. Relational data watermarking resilience to brute force attacks in untrusted environments in EXPERT SYSTEMS WITH APPLICATIONS, vol. 212, pp. 118713 (ISSN 0957-4174)
DOI - Scheda ARCA: 10278/5017241
2023 Articolo su libro Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro Lifting String Analysis Domains , Challenges of Software Verification, Springer Nature, vol. 238, pp. 109-143 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - Scheda ARCA: 10278/5031341
2023 Prefazione/Postfazione Arceri V.; Cortesi A.; Ferrara P.; Olliaro M. Preface , Intelligent Systems Reference Library, Springer Science and Business Media Deutschland GmbH, vol. 238, pp. 5-6 (ISSN 1868-4394)
- Scheda ARCA: 10278/5049842
2022 Articolo su rivista Olliaro M.; Perez Gort M.L.; Cortesi A. Empirical analysis of the impact of queries on watermarked relational databases in EXPERT SYSTEMS WITH APPLICATIONS, vol. 204, pp. 117491 (ISSN 0957-4174)
DOI - Scheda ARCA: 10278/5017244
2022 Articolo su rivista PÉREZ GORT, Maikel Lázaro; OLLIARO, Martina.; CORTESI,Agostino. Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking in IEEE ACCESS, vol. 10, pp. 62210-62231 (ISSN 2169-3536)
DOI - Scheda ARCA: 10278/5017246
2022 Articolo in Atti di convegno Perez Gort M.L.; Olliaro M.; Cortesi A. A Quantile-Based Watermarking Approach for Distortion Minimization , Foundations and Practice of Security, Springer Nature, vol. 13291, pp. 162-176, Convegno: 14th International Symposium on Foundations and Practice of Security, FPS 2021
DOI - Scheda ARCA: 10278/5017245
2022 Articolo in Atti di convegno Arceri V.; Olliaro M.; Cortesi A.; Ferrara P. Relational String Abstract Domains , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13182, pp. 20-42, Convegno: 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, 2022 (ISBN 978-3-030-94582-4; 978-3-030-94583-1)
DOI - Scheda ARCA: 10278/3754133
2021 Articolo su rivista Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. Completeness of string analysis for dynamic languages in INFORMATION AND COMPUTATION, vol. 281, pp. 104791 (ISSN 0890-5401)
DOI - Scheda ARCA: 10278/3754136
2021 Articolo su rivista Perez Gort M.L.; Olliaro M.; Cortesi A.; Feregrino Uribe C. Semantic-driven watermarking of relational textual databases in EXPERT SYSTEMS WITH APPLICATIONS, vol. 167, pp. 114013 (ISSN 0957-4174)
DOI - Scheda ARCA: 10278/3734700
2020 Articolo su rivista Lauko H.; Olliaro M.; Cortesi A.; Rocckai P. Abstracting strings for model checking of C programs in APPLIED SCIENCES, vol. 10, pp. 1-33 (ISSN 2076-3417)
DOI - Scheda ARCA: 10278/3734698
2019 Articolo in Atti di convegno Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. Completeness of Abstract Domains for String Analysis of JavaScript Programs , Theoretical Aspects of Computing, Springer, vol. 11884, pp. 255-272, Convegno: 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, 2019 (ISBN 978-3-030-32504-6; 978-3-030-32505-3)
DOI - URL correlato - Scheda ARCA: 10278/3721097
2019 Articolo in Atti di convegno Gort M.L.P.; Olliaro M.; Feregrino-Uribe C.; Cortesi A. Preventing Additive Attacks to Relational Database Watermarking , Research and Practical Issues of Enterprise Information Systems, Springer, vol. 375, pp. 131-140, Convegno: 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019, 2019 (ISBN 978-3-030-37631-4; 978-3-030-37632-1) (ISSN 1865-1348)
DOI - URL correlato - Scheda ARCA: 10278/3721913
2019 Articolo in Atti di convegno Cortesi A.; Lauko H.; Olliaro M.; Rockai P. String Abstraction for Model Checking of C Programs , Model Checking Software, Springer, vol. 11636, pp. 74-93, Convegno: 26th International Symposium on Model Checking Software, SPIN 2019, 2019 (ISBN 978-3-030-30922-0; 978-3-030-30923-7)
DOI - URL correlato - Scheda ARCA: 10278/3721099
2018 Articolo in Atti di convegno Agostino Cortesi ; Martina Olliaro M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs , Proceedings of the IEEE 12th International Symposium on Theoretical Aspects of Software Engineering TASE 2018, IEEE, pp. 1-8, Convegno: International Symposium on Theoretical Aspects of Software Engineering (TASE), 29-31 Aug. 2018 (ISBN 978-1-5386-7305-8)
DOI - URL correlato - Scheda ARCA: 10278/3708312