Cerca per relatore della tesi |
Risultati da
1 a 11 di 11
| 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 | |
| Taint Analysis for Detecting Memory Issues in Multi-language Programs | INFORMATICA | 2024 | |
| Authentication and Confidentiality in the VDES protocol | CYBERSECURITY | 2024 | |
| Access Control Policies Across Abstraction Layers | INFORMATICA | 2022 | |
| Secure Compilation All the Way Down | INFORMATICA | 2021 | |
| Un type-system per IoT-Lysa: un linguaggio per modellare sistemi IoT. | INFORMATICA | 2018 | |
| Four semantics for a disciplined concurrency in COP. | INFORMATICA | 2017 | |
| Bro NIDS and Unix Firewall: towards an Intrusion Prevention System. | INFORMATICA E NETWORKING | 2017 | |
| Security issues in adaptive programming | INFORMATICA | 2014 |
| Nuova ricerca |