Browsing Archivio delle tesi by Ph.D. or Bachelor Series "Informatica - computer science"

DSpace/Manakin Repository

Browsing Archivio delle tesi by Ph.D. or Bachelor Series "Informatica - computer science"

Sort by: Order: Results:

  • Secure 2D barcodes based on visual cryptography 
    Moretto, Tommaso <1992> (Università Ca' Foscari Venezia, 2018-07-11)
    In this thesis we investigate the application of visual cryptography to enforce 2D barcode confidentiality. The approach of visual cryptography is appealing because 2D barcodes are indeed images, but it presents non-trivial ...
  • Secure deployment of HTTPS: Analysis and open challenges 
    Soligo, Lorenzo <1996> (Università Ca' Foscari Venezia, 2020-07-28)
    Users on the Internet unknowingly rely on HTTPS, a protocol whose goal is to cryptographically secure the communication between users and websites by providing confidentiality and integrity. HTTPS relies on the SSL/TLS ...
  • Security and interoperability of APIs for cryptographic devices 
    Pretotto, Andrea <1989> (Università Ca' Foscari Venezia, 2014-03-11)
    Starting from previous vulnerability analysis of the standard PKCS#11, we describe Microsoft CryptoAPI interface identifying all the possible attacks that can be performed to discover secret keys values, in hardware devices ...
  • Security Enhancements of Robot Operating Systems 
    Caiazza, Gianluca <1991> (Università Ca' Foscari Venezia, 2017-03-23)
    In recent years we observed a grown of cybersecurity threats, especially thanks to the ubiquitous of connected and autonomous devices. A list of these devices, commonly defined as Internet of Things, includes industrial ...
  • Smart Contracts security in Government Institutions 
    Gjoka, Algert <1990> (Università Ca' Foscari Venezia, 2019-03-07)
    Smart Contracts are the building blocks of todays Decentralised Applications. Governments have started using blockchain technology to offer different services to the citizens and other entities but the state of the art is ...
  • Smartphone energy analysis in WiFi walkable areas by Abstract Interpretation 
    Eugenio, Enrico <1988> (Università Ca' Foscari Venezia, 2016-11-03)
    The huge increase in the usage of mobile devices has led to the need of sophisticated optimization techniques in order to minimize energy wastage. In this thesis we analyse energy consumption of mobile devices during the ...
  • Social Media Data Analysis for Tourism 
    Boccalon, Lorenzo <1996> (Università Ca' Foscari Venezia, 2021-10-28)
    In this work we apply various data analysis techniques on a social media dataset. The dataset is obtained from a popular social media dedicated to tourist attraction reviews. The main objective is to provide a service to ...
  • Software Verification of PLC programs 
    Ferro, Sara <1996> (Università Ca' Foscari Venezia, 2020-07-28)
    Programmable Logic Controllers (PLC) play an important role in Industrial Control Systems, as they manage the actions of physical tools by collecting data from input devices and sending commands to output devices. In this ...
  • Speaker Clustering 
    Salamone, Johnny <1990> (Università Ca' Foscari Venezia, 2018-07-11)
    Lo scopo di questo progetto di tesi, dopo uno studio sui papers di Speaker CLustering di riferimento, è di reimplementare l'algoritmo di clustering che mirando in un implementazione migliore in termini di prestazioni che ...
  • Speed scaling in fork-join system: a comparative study 
    Motto, Emanuele <1995> (Università Ca' Foscari Venezia, 2021-10-28)
    Fork-Join paradigm is model of parallel computing. This family of al- gorithms divide the input into smaller pieces that are served in parallel and then joined into a unique output. MapReduce is an example of Fork- Join ...
  • Speed-up for AMAT implementation using pyramid reduction 
    Bicciato, Alessandro <1992> (Università Ca' Foscari Venezia, 2019-10-29)
    After introducing Appearance-Medial Axis Transform (AMAT) back in 2017 by Tsogkas and Dickinson for extending the Medial Axis Transform (MAT) for natural images, we introduce an extension of the algorithm attempting to ...
  • Staresc - automatic and extendable vulnerability assessment over SSH 
    Cecchini, Davide <1997> (Università Ca' Foscari Venezia, 2022-10-20)
    Regardless of the technical level and the type of target, time is one of the major constraints during both defensive and offensive activities. To address this constraint, the cybersecurity community implemented many tools ...
  • State-of-the-art evaluation of 'Shape from Polarisation' methods 
    Gurakuqi, Jurgen <1996> (Università Ca' Foscari Venezia, 2023-10-17)
    Advancements in the fields of Computer Vision and Artificial Intelligence have resulted in the emergence of innovative techniques for the extraction of three-dimensional shape information. One such technique is Shape from ...
  • Statistical Alignment and Dating of the Soluble Iron Signal in the EGRIP Ice Core 
    Derrod, Haley Yukiko <1994> (Università Ca' Foscari Venezia, 2023-07-13)
    Ice cores are collected in paleoclimatic studies in order to analyze their physical and chemical properties with the purpose of reconstructing important aspects of the past climate. During the campaigns of the East Greenland ...
  • Statistical Analysis of Twenty20 International Cricket 
    Ahmadzai, Abdul Qayyum <1995> (Università Ca' Foscari Venezia, 2023-10-16)
    Predicting the outcomes of sports tournaments such as cricket is a subject of significant interest. This thesis focuses on the statistical analysis of Twenty20 International cricket matches. In the thesis, we compare ...
  • Statistical learning techniques for the determination of motor liability insurance premium 
    Milan, Sandro <1980> (Università Ca' Foscari Venezia, 2016-11-03)
    This project aims to verify if, with specific statistical learning techniques, we can build a model for the estimation of a car insurance policy. The starting point is a dataset referring to hundreds of thousands of quotes ...
  • Statistical methods for Lead Optimization in drug discovery problems. 
    Cattapan, Marco <1986> (Università Ca' Foscari Venezia, 2014-03-11)
    In this thesis we developed a statistical analysis of a set of data concerning the process of Lead Optimization in discovering new pharmaceutical drugs. In particular, we considered the following themes: 1) analysis of ...
  • Structural Signatures through Continuous-Time Quantum Walks with Decoherence 
    Basei, Gianpietro <1987> (Università Ca' Foscari Venezia, 2015-03-12)
    Quantum walks are the analogue of classical random walks, and have been recently used to study and develop quantum algorithms: unlike the classical case, where the evolution of the walk is governed by a stochastic matrix, ...
  • System Calls Monitoring in Android: An Approach to Detect Debuggers, Anomalies and Privacy Issues 
    De Giorgi, Matteo <1994> (Università Ca' Foscari Venezia, 2023-03-20)
    The proposed thesis explores monitoring system calls in Android environments to detect the presence of debuggers, identify anomalies that can be indicators of security issues, and observe how user-sensitive data is handled. ...
  • Tainted flow analysis and propagation across interfaces of IoT ecosystem 
    Khlyebnikov, Yuliy <1995> (Università Ca' Foscari Venezia, 2019-10-29)
    Internet of things is the network extension consisting of lots of physical objects which integrates various sensors and a software. A modern IoT ecosystem still comprises lots of security, privacy and data consistency ...