logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Avvisi

  • Per un aggiornamento delle procedure adottate dall'Ateneo in materia di protezione dei dati personali, si è reso necessario oscurare temporaneamente i nomi e i cognomi degli autori delle tesi in ETD.
    Ripristineremo la visibilità del nominativo dell'autore dal 01/10/2026, per garantire la corretta attribuzione della paternità dell'opera. Chi desideri mantenere oscurato il proprio nome e cognome, in qualunque momento può comunicarlo allo staff ETD.
    È stato inoltre necessario oscurare tutti gli indirizzi email degli autori. ETD continuerà a utilizzarli esclusivamente per consentire l'inoltro di richieste relative alle tesi, garantendo l'anonimato del recapito nei confronti dei richiedenti.

Cerca per relatore della tesi


Risultati da 1 a 12 di 34
Titolo Corso di studi Anno di discussione Relatore
Refinement Types for Out-of-Gas Exceptions in Solidity INFORMATICA 2026
Chain of Concurrent Static Analysis: a Reasoning Framework for Finding Concurrent Bugs INFORMATICA 2026
A Tool for Orchestrating Security Analysis of Industrial Control Systems CYBERSECURITY 2026
Design and Secure Deployment of Hierarchical Infrastructures: The ODA Case Study CYBERSECURITY 2026
Property Based Testing for Solidity CYBERSECURITY 2025
Formal verification of security properties in the MSP430 microcontroller INFORMATICA 2025
Security Properties in the Execution of Quantum Circuits CYBERSECURITY 2025
Retrieval-Augmented Generation for Developing Secure Code in Rust CYBERSECURITY 2025
Detection, Analysis and Prevention of Rust Vulnerabilities A Software Engineering Methodology CYBERSECURITY 2024
Runtime Verification through Algebraic Effect Handlers INFORMATICA 2024
Surfing: Early Security Validation of Data Flow for IoT Practice CYBERSECURITY 2024
Authentication and Confidentiality in the VDES protocol CYBERSECURITY 2024

Nuova ricerca