Browsing Archivio delle tesi by Author "Bugliesi, Michele"

DSpace/Manakin Repository

Browsing Archivio delle tesi by Author "Bugliesi, Michele"

Sort by: Order: Results:

  • An Information Flow Type System for Android 
    Frazza, Alessandro <1988> (Università Ca' Foscari Venezia, 2013-03-01)
    La crescente adozione da parte di dispositivi mobili del sistema operativo Android ha accresciuto l'interesse in meccanismi capaci di garantire la segretezza e l'integrità delle informazioni sensibili presenti all'interno ...
  • Casanova: a language for game development 
    Maggiore, Giuseppe <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    In this work we present Casanova, a programming language. Its novelty lies in the fact that it was designed with an exclusive focus on making games. The goal of Casanova is to change the landscape of game development, ...
  • Development of a Privacy Preserving Liferay Portal document synchronizer for Android 
    Perinato, Max Perry <1988> (Università Ca' Foscari Venezia, 2013-03-01)
  • DIFFERENTIAL PRIVACY AND TRAJECTORIES 
    Costa, Enrico <1988> (Università Ca' Foscari Venezia, 2013-03-01)
    Publishing meaningful datasets that don't jeopardize the privacy of the partecipants is still a great challenge for the database community. It has been demonstrated that the recent differentially private approach guarantees ...
  • Efficient security analysis of administrative access control policies 
    Steffinlongo, Enrico <1987> (Università Ca' Foscari Venezia, 2018-03-05)
    In recent years access control has been a crucial aspect of computer systems, since it is the component responsible for giving users specific permissions enforcing a administrator-defined policy. This lead to the formation ...
  • Information extraction by type analysis 
    Spanò, Alvise <1977> (Università Ca' Foscari Venezia, 2013-04-19)
    This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In ...
  • Privilege separation in browser architectures 
    Steffinlongo, Enrico <1987> (Università Ca' Foscari Venezia, 2014-06-26)
    In many software systems as modern web browsers the user and his sensitive data often interact with the untrusted outer world. This scenario can pose a serious threat to the user's private data and gives new relevance to ...
  • Secure implementations of typed channel abstractions 
    Giunti, Marco <1973> (Università Ca' Foscari Venezia, 2007-03-01)
  • Static verification and enforcement of authorization policies 
    Calzavara, Stefano <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    La tesi affronta il problema della verifica e dell'imposizione di politiche di autorizzazione tramite tecniche di analisi statica. I contributi principali sono tre: una semantica formale per grsecurity, che permette di ...
  • Verified security protocol modeling and implementation with AnBx 
    Modesti, Paolo <1966> (Università Ca' Foscari Venezia, 2012-03-12)
    AnBx is an extension of the Alice & Bob notation for protocol narrations to serve as a specification language for a purely declarative modelling of distributed protocols. AnBx is built around a set of communication and ...
  • Web session security : formal verification, client-side enforcement and experimental analysis 
    Khan, Wilayat <1982> (Università Ca' Foscari Venezia, 2015-02-13)
    Web applications are the dominant means to provide access to millions of on-line services and applications such as banking and e-commerce. To personalize users’ web experience, servers need to authenticate the users and ...