OLLIARO, MARTINA
OLLIARO, MARTINA
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).
Abstracting strings for model checking of C programs
2020-01-01 Lauko, H.; Olliaro, M.; Cortesi, A.; Rocckai, P.
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
2018-01-01 Cortesi, Agostino; Olliaro, Martina
Preventing Additive Attacks to Relational Database Watermarking
2019-01-01 Gort, M. L. P.; Olliaro, M.; Feregrino-Uribe, C.; Cortesi, A.
Relational String Abstract Domains
2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
Semantic-driven watermarking of relational textual databases
2021-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.; Feregrino Uribe, C.
String Abstraction for Model Checking of C Programs
2019-01-01 Cortesi, A.; Lauko, H.; Olliaro, M.; Rockai, P.