Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Olliaro, Martina
33  Ergebnisse:
Personensuche X
?
1

Study of the Watermark Source's Topology Role on Relational..:

Gort, Maikel Lázaro Pérez ; Olliaro, Martina ; Cortesi, Agostino
IEEE Access.  12 (2024)  - p. 25857-25875 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Relational data watermarking resilience to brute force atta..:

Pérez Gort, Maikel Lázaro ; Olliaro, Martina ; Cortesi, Agostino
Expert Systems with Applications.  212 (2023)  - p. 118713 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Lifting String Analysis Domains:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,
Olliaro, Martina ; Arceri, Vincenzo ; Cortesi, Agostino. - p. 109-143 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Challenges of Software Verification 

Intelligent Systems Reference Library, 238
Arceri, Vincenzo ; Cortesi, Agostino ; Ferrara, Pietro. - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Quantile-Based Watermarking Approach for Distortion Minim..:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,
Pérez Gort, Maikel Lázaro ; Olliaro, Martina ; Cortesi, Agostino - p. 162-176 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Empirical analysis of the impact of queries on watermarked ..:

Olliaro, Martina ; Pérez Gort, Maikel Lázaro ; Cortesi, Agostino
Expert Systems with Applications.  204 (2022)  - p. 117491 , 2022
Link: https://doi.org/10.1016/..
 
?
7

Reducing Multiple Occurrences of Meta-Mark Selection in Rel..:

Gort, Maikel Lazaro Perez ; Olliaro, Martina ; Cortesi, Agostino
IEEE Access.  10 (2022)  - p. 62210-62231 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Relational String Abstract Domains:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Arceri, Vincenzo ; Olliaro, Martina ; Cortesi, Agostino. - p. 20-42 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Completeness of string analysis for dynamic languages:

Arceri, Vincenzo ; Olliaro, Martina ; Cortesi, Agostino.
Information and Computation.  281 (2021)  - p. 104791 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Semantic-driven watermarking of relational textual database:

Pérez Gort, Maikel Lázaro ; Olliaro, Martina ; Cortesi, Agostino.
Expert Systems with Applications.  167 (2021)  - p. 114013 , 2021
Link: https://doi.org/10.1016/..
 
?
11

Abstracting Strings for Model Checking of C Programs:

Lauko, Henrich ; Olliaro, Martina ; Cortesi, Agostino.
Applied Sciences.  10 (2020)  21 - p. 7853 , 2020
Link: https://doi.org/10.3390/..
 
?
12

Completeness of Abstract Domains for String Analysis of Jav..:

, In: Theoretical Aspects of Computing – ICTAC 2019; Lecture Notes in Computer Science,
Arceri, Vincenzo ; Olliaro, Martina ; Cortesi, Agostino. - p. 255-272 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Preventing Additive Attacks to Relational Database Watermar..:

, In: Lecture Notes in Business Information Processing; Research and Practical Issues of Enterprise Information Systems,
Gort, Maikel Lázaro Pérez ; Olliaro, Martina ; Feregrino-Uribe, Claudia. - p. 131-140 , 2019
Link: https://doi.org/10.1007/..
 
?
14

String Abstraction for Model Checking of C Programs:

, In: Model Checking Software; Lecture Notes in Computer Science,
Cortesi, Agostino ; Lauko, Henrich ; Olliaro, Martina. - p. 74-93 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Relational String Abstract Domains:

Arceri, Vincenzo ; Olliaro, Martina ; Cortesi, Agostino.
info:eu-repo/semantics/altIdentifier/isbn/978-3-030-94582-4.  , 2022
Link: https://hdl.handle.net/1..
 
1-15