Martina Olliaro
Doctoral thesis
String Analysis for Software Verification
String Analysis for Software Verification
Abstract:
This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the Abstract Interpretation theory to string analysis. Erroneous string manipulation is a challenging problem in software verification and, in fact, it is one of the major causes of program vulnerabilities that can be exploited by malicious …moreAbstract:
late string values in the context of relational database watermarking. We propose a semantic-driven watermarking approach of relational textual databases, which marks multi-word textual attributes, exploiting the synonym substitution technique for text watermarking together with notions in semantic similarity analysis, and dealing with the semantic perturbations provoked by the watermark embedding …moreAbstract:
This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the Abstract Interpretation theory to string analysis. Erroneous string manipulation is a challenging problem in software verification and, in fact, it is one of the major causes of program vulnerabilities that can be exploited by malicious …moreAbstract:
late string values in the context of relational database watermarking. We propose a semantic-driven watermarking approach of relational textual databases, which marks multi-word textual attributes, exploiting the synonym substitution technique for text watermarking together with notions in semantic similarity analysis, and dealing with the semantic perturbations provoked by the watermark embedding …more
Language used: English
Date on which the thesis was submitted / produced: 4. 1. 2021
Identifier:
https://is.muni.cz/th/ymhh2/
Thesis defence
- Date of defence: 24. 3. 2021
- Supervisor: prof. RNDr. Václav Matyáš, M.Sc., prof. Agostino Cortesi
- Reader: Prof. Pierpaolo Degano, Prof. Thomas Jensen, Prof. David A. Schmidt, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Computer Science / Fundamentals of Computer Science
Theses on a related topic
-
String abstract domains
Matej Šuta -
Static analysis of Python code
Jakub Kiska -
Custom Roslyn Tool for Static Code Analysis
Zuzana Dankovčíková