Browsing Tesi di dottorato by Author "Cousot, Radhia"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Author "Cousot, Radhia"

Sort by: Order: Results:

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