MARTINA OLLIARO
Personal ID (uco) 477767
PUBLISHED WORKS
• Cortesi A.; Olliaro M. "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, Conference: International Symposium on
Theoretical Aspects of Software Engineering (TASE), 29-31 Aug. 2018 (ISBN 978-1-5386-7305-
8). My contribution: 75%
• 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, Conference: 26th International
Symposium on Model Checking Software, SPIN 2019, 2019 (ISBN 978-3-030-30922-0; 978-3-
030-30923-7) (ISSN 0302-9743). My contribution: 40%
• Gort M.L.P.; Olliaro M.; Feregrino-Uribe O; Cortesi A. "Preventing Additive Attacks to Relational
Database Watermarking", Research and Practical Issues of Enterprise Information Systems,
Springer, vol. 375, pp. 131-140, Conference: 13th IFlP 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). My contribution: 30%
• 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, Conference: 16th International Colloquium on Theoretical Aspects of Computing,
ICTAC 2019, 2019 (ISBN 978-3-030-32504-6; 978-3-030-32505-3) (ISSN 0302-9743). My
contribution: 40%
• Gort M.L.P.; Olliaro M.; Cortesi A.; Feregrino-Uribe C. "Semantic-driven Watermarking of
Relational Textual Databases", Journal: Expert Systems with Applications, 2020, ISSN 0957-
4174. My contribution: 40%
• Lauko H.; Olliaro M.; Cortesi A.; Rockai P. "Abstracting Strings for Model Checking of C
programs", Journal: Applied Sciences, Special Issue "Static Analysis Techniques: Recent
Advances and New Horizons, 2020. My contribution: 50%
NOT PUBLISHED WORKS
• Olliaro M.; Cortesi A.; Ferrara P. "Lifting String Analysis Domains by Segmentation Abstraction".
My contribution: 70%
• Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. "Completeness of String Analysis for Dynamic
Languages". My contribution: 40%
• Arceri V.; Olliaro M.; Cortesi A.; Ferrara P. "A Generic Framework to Define Relational String
Abstract Domains". My contribution: 40%