Browsing by Author "Calzavara, Stefano"

DSpace/Manakin Repository

Browsing by Author "Calzavara, Stefano"

Sort by: Order: Results:

  • AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models 
    Cazzaro, Lorenzo <1997> (Università Ca' Foscari Venezia, 2021-07-16)
    Machine learning (ML) models are vulnerable to evasion attacks, where the attacker adds almost imperceptible perturbation to a correctly classified instance so as to induce misclassification. In the black-box setting where ...
  • Automated verification of the Mixed Content policy by using Web Platform Tests 
    Dalla Valle, Valentino <1999> (Università Ca' Foscari Venezia, 2023-10-16)
    As the reliance on web applications for critical tasks such as banking and shopping grows, ensuring user data and privacy protection becomes imperative. This thesis delves into the intricacies of web application ...
  • Certifying Robustness of Machine Learning Models Utilizing Adversarial Attack Transferability 
    Inayat, Shehzad <1995> (Università Ca' Foscari Venezia, 2023-03-16)
    Machine learning has become increasingly popular for its ability to learn from data, identify patterns and make logical decisions with little or no human intervention, allowing humans to rapidly develop models that can ...
  • Flow logic based information flow analysis of Android applications 
    Salvini, Fabio <1992> (Università Ca' Foscari Venezia, 2018-07-11)
    Android is the world's most popular mobile OS, with more than 2 billion monthly active devices. Static analysis is an essential tool to protect the sensitive data stored in the devices from malicious applications. In this ...
  • LLDBagility: practical macOS kernel debugging 
    Cagnin, Francesco <1991> (Università Ca' Foscari Venezia, 2020-03-13)
    The effectiveness of debugging software issues depends largely on the capabilities of the tools available to aid in such task. To debug the macOS kernel there is at present no real alternative other than the basic debugger ...
  • Run-time Prevention of Logic Flaws in Multi-Party Web Applications 
    Veronese, Lorenzo <1995> (Università Ca' Foscari Venezia, 2020-03-13)
    Modern web applications often rely on third-party services to provide their functionality to users. The integration of these services is a non-trivial task and, as shown by the large number of attacks against Single-Sign-On ...
  • 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 ...
  • The State of Strict Transport Security: Current Deployment and Correct Configuration 
    Busato, Marco <1995> (Università Ca' Foscari Venezia, 2021-05-10)
    Nowadays, the topic of security has become a popular issue due to the contemporary digital society in constant development. Thus, HTTPS only is not enough in order to ensure a high security level (e.g. feeling protected ...
  • Understanding the Use of Web Storage in Real-World Web Applications 
    Casarin, Samuele <1996> (Università Ca' Foscari Venezia, 2022-03-21)
    Formerly born as a simple system for the exchange of public documents, over the time the Web has become one of the main services of the Internet, and it is still evolving into an increasingly sophisticated platform. As the ...
  • Using Neural Network to detect security-sensitive elements in screenshots of web pages 
    Buoso, Tommaso <1997> (Università Ca' Foscari Venezia, 2022-03-21)
    The goal of this work, carried out during the internship at Yarix s.r.l., is to develop an artificial intelligence (AI) module based on neural networks, this will be integrated on Yarix's proprietary cyber intelligence ...