English

Italiano

ETD

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

Avvisi

Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30. Le richieste verranno processate regolarmente da lunedì 24 Agosto.

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	Ferrari, Gian Luigi Galletta, Letterio
Chain of Concurrent Static Analysis: a Reasoning Framework for Finding Concurrent Bugs	INFORMATICA	2026	Ferrari, Gian Luigi Galletta, Letterio Pinelli, Fabio
A Tool for Orchestrating Security Analysis of Industrial Control Systems	CYBERSECURITY	2026	Ferrari, Gian Luigi Galletta, Letterio Gini, Agnese
Design and Secure Deployment of Hierarchical Infrastructures: The ODA Case Study	CYBERSECURITY	2026	Bocci, Alessandro Brogi, Antonio Ferrari, Gian Luigi
Property Based Testing for Solidity	CYBERSECURITY	2025	Bodei, Chiara Ferrari, Gian Luigi
Formal verification of security properties in the MSP430 microcontroller	INFORMATICA	2025	Ferrari, Gian Luigi
Security Properties in the Execution of Quantum Circuits	CYBERSECURITY	2025	Bisicchia, Giuseppe Brogi, Antonio Ferrari, Gian Luigi
Retrieval-Augmented Generation for Developing Secure Code in Rust	CYBERSECURITY	2025	Ferrari, Gian Luigi Forti, Stefano
Detection, Analysis and Prevention of Rust Vulnerabilities A Software Engineering Methodology	CYBERSECURITY	2024	Ferrari, Gian Luigi Forti, Stefano
Runtime Verification through Algebraic Effect Handlers	INFORMATICA	2024	Bruni, Roberto Ferrari, Gian Luigi
Surfing: Early Security Validation of Data Flow for IoT Practice	CYBERSECURITY	2024	Bodei, Chiara Ferrari, Gian Luigi
Authentication and Confidentiality in the VDES protocol	CYBERSECURITY	2024	Ferrari, Gian Luigi Galletta, Letterio Ronchini, Luca