Browsing Tesi di dottorato by Subject "Abstract interpretation"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Subject "Abstract interpretation"

Sort by: Order: Results:

  • 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 ...
  • 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 ...