Browsing Tesi di dottorato by Author "Cortesi, Agostino"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Author "Cortesi, Agostino"

Sort by: Order: Results:

  • A generic framework for multilanguage analysis 
    Negrini, Luca <1993> (Università Ca' Foscari Venezia, 2023-01-27)
    L'analisi statica di programmi scritti in più linguaggi di programmazione è impegnativa. Gli analizzatori tradizionali analizzano un singolo linguaggio, o un gruppo di linguaggi simili, per adattare l'analisi alle sue (o ...
  • Application-level security for robotic networks 
    Caiazza, Gianluca <1991> (Università Ca' Foscari Venezia, 2021-03-17)
    Cyber-physical systems (CPS) are increasingly deployed as part of the interconnected robotic cyber-infrastructures which are known as the Industrial Internet of Things (IIoT) network. Those pervasive devices are capable ...
  • Casanova 2, a domain specific language for general game development 
    Abbadi, Mohamed <1988> (Università Ca' Foscari Venezia, 2017-03-10)
    In today's society, the pervasiveness and sales of video games is at an all-time high. Video games are used in a variety of application scenarios, from pure entertainment to supporting research, raising social awareness, ...
  • Extending abstract interpretation to new applicative scenarios 
    Halder, Raju <1981> (Università Ca' Foscari Venezia, 2012-03-12)
    The aim of this thesis is to extend the Abstract Interpretation framework to the broader context of Information Systems. In particular, we address issues related to security properties. We formalize a complete denotational ...
  • Information flow analysis by abstract interpretation 
    Zanioli, Matteo <1984> (Università Ca' Foscari Venezia, 2012-03-12)
    Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The goal of this thesis is to provide both theoretical and experimental ...
  • Lexical and numerical domains for abstract interpretation 
    Costantini, Giulia <1985> (Università Ca' Foscari Venezia, 2013-12-13)
    The goal of this thesis is to contribute to the field of formal methods employed for the static verifi cation of computer program properties. The context is the Abstract Interpretation framework, one of the various possible ...
  • Metacasanova : a high-performance meta-compiler for domain-specific languages 
    Di Giacomo, Francesco <1985> (Università Ca' Foscari Venezia, 2018-11-19)
    Programming languages are at the foundation of computer science, as they provide abstractions that allow the expression of the logic of a program independent from the underlying hardware architecture. In particular scenarios, ...
  • Property driven program slicing and watermarking in the abstract interpretation framework 
    Bhattacharya, Sukriti <1980> (Università Ca' Foscari Venezia, 2011-03-03)
    Interpretation theory formalizes the conservative approximation of the semantics of hardware and software computer systems. Abstract Interpretation approximates semantics according to some property of choice, this is ...
  • Static analysis of security properties in mobile ambients 
    Braghin, Chiara <1974> (Università Ca' Foscari Venezia, 2005-01-28)
  • Static analysis via abstract interpretation of multithreaded programs 
    Ferrara, Pietro <1981> (Università Ca' Foscari Venezia, 2009-05-22)
    The goal of this thesis is to present a generic static analysis of Java multithreaded programs. Multithreaded programs execute many task, called threads, in parallel. Threads communicate through the shared memory implicitly, ...
  • String analysis for software verification 
    Olliaro, Martina <1991> (Università Ca' Foscari Venezia, 2021-03-24)
    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. ...