Browsing Tesi di dottorato by MIUR Discipline "INF/01 INFORMATICA"

DSpace/Manakin Repository

Browsing Tesi di dottorato by MIUR Discipline "INF/01 INFORMATICA"

Sort by: Order: Results:

  • 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 ...
  • Quantum processes for structural analysis 
    Minello, Giorgia <1983> (Università Ca' Foscari Venezia, 2019-03-20)
    Many real systems can be modelled as networks, being characterized by a set of items and links between them. Systems taking the form of networks, also called graphs, appear in a wide range of scenarios, varying from ...
  • Query log based techniques to improve the performance of a web search engine 
    Broccolo, Daniele <1984> (Università Ca' Foscari Venezia, 2014-03-18)
    Every user leaves traces of her/his behaviour when she/he surfs the Web. All the usage data generated by users is stored in logs of several web applications, and such logs can be used to extract useful knowledge for enhancing ...
  • Regular partitions and their use in structural pattern recognition 
    Fiorucci, Marco <1981> (Università Ca' Foscari Venezia, 2019-03-20)
    The huge amount of data generated everyday by different interrelated entities calls for the development of new effective methods to store, retrieve and understand these massive network data. In this thesis, we tackle this ...
  • Secure and usable QR codes 
    Wahsheh, Heider Ahmad Mutleq <1987> (Università Ca' Foscari Venezia, 2019-03-20)
    Barcode is a universal technology that provides visual data representation using series of horizontal lines (1D), or matrix of squares and dots (2D), organized in a specific standard way. Barcodes are represented as images ...
  • Secure implementations of typed channel abstractions 
    Giunti, Marco <1973> (Università Ca' Foscari Venezia, 2007-03-01)
  • Semi-supervised learning and applications : a game-theoretic perspective 
    Vascon, Sebastiano <1982> (Università Ca' Foscari Venezia, 2020-01-31)
    This thesis is focused on semi-supervised learning (SSL) algorithms, a family of methods lying in between supervised and unsupervised learning. The main characteristic of SSL algorithms is that they exploit at the same ...
  • Sparse and robust matching problem for 3D shape analysis 
    Rodolà, Emanuele <1984> (Università Ca' Foscari Venezia, 2012-03-12)
    In questa tesi affrontiamo diversi aspetti del dilagante problema della corrispondenza nella Visione Artificiale. I nostri risultati principali traggono vantaggio da sviluppi recenti nel campo emergente dei metodi basati ...
  • 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, ...
  • 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 ...
  • 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. ...
  • Structured-light 3D reconstruction and applications 
    Pistellato, Mara <1991> (Università Ca' Foscari Venezia, 2020-01-31)
    An increasing number of modern Computer Vision applications rely on the usage of depth data, allowing the accomplishment of several tasks otherwise being complex or impractical. As a consequence, a large amount of 3D ...
  • Transformation synchronization with applications in computer vision 
    Schiavinato, Michele <1986> (Università Ca' Foscari Venezia, 2018-07-10)
    Nella comunità del Machine Learning i problemi di matching hanno dato un forte contributo l’area del riconoscimento dal momento che le corrispondenze di strutture possono rilevare aspetti di similitudine tra due oggetti. ...
  • Type-based analysis of security APIs 
    Centenaro, Matteo <1981> (Università Ca' Foscari Venezia, 2011-03-03)
    Una security API è un'interfaccia che regola la comunicazione tra due processi, che vengono eseguiti con diversi livelli di affidabilità, allo scopo di assicurare che sia soddisfatta una determinata proprietà di sicurezza. ...
  • Using Contextual Information In Weakly Supervised Learning: Toward the integration of contextual and deep learningapproaches, to address weakly supervised tasks 
    Torcinovich, Alessandro <1992> (Università Ca' Foscari Venezia, 2021-07-06)
    Come l'attento lettore avrà dedotto dal titolo, questa tesi pone alcune basi empiriche, assieme ad altrettante considerazioni teoriche, verso la definizione di una metodologia finalizzata a migliorare task di weakly ...
  • 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 ...
  • Vulnerability of Machine Learning: A Study on Poisoning Attacks 
    Cina', Antonio Emanuele <1995> (Università Ca' Foscari Venezia, 2023-01-27)
    Il successo senza precedenti dell'apprendimento automatico (ML) in diverse applicazioni è stato intrinsecamente favorito dalla crescente disponibilità di potenza di calcolo e di grandi insiemi di dati di addestramento, con ...
  • Warehousing and mining aggregate measures over trajectories of moving objects 
    Braz, Fernando José <1965> (Università Ca' Foscari Venezia, 2009-04-02)
  • 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 ...