English

Italiano

ETD

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

Cerca per relatore della tesi

Risultati da 1 a 12 di 21

Titolo	Corso di studi	Anno di discussione	Relatore
Taint Analysis for Detecting Memory Issues in Multi-language Programs	INFORMATICA	2024	Degano, Pierpaolo Galletta, Letterio
Access Control Policies Across Abstraction Layers	INFORMATICA	2022	Degano, Pierpaolo Galletta, Letterio
Secure Compilation All the Way Down	INFORMATICA	2021	Degano, Pierpaolo Galletta, Letterio
Transcompilazione fra linguaggi di firewall: sintesi e generazione di configurazioni	INFORMATICA	2018	Degano, Pierpaolo
Un type-system per IoT-Lysa: un linguaggio per modellare sistemi IoT.	INFORMATICA	2018	Degano, Pierpaolo Galletta, Letterio
Four semantics for a disciplined concurrency in COP.	INFORMATICA	2017	Degano, Pierpaolo Galletta, Letterio Occhiuto, Maria Eugenia
Bro NIDS and Unix Firewall: towards an Intrusion Prevention System.	INFORMATICA E NETWORKING	2017	Degano, Pierpaolo Galletta, Letterio
Implementazione in Visual SPiM di modelli matematici per l'incentivazione dei moderati in un conflitto ideologico	SCIENZE DELL'INFORMAZIONE	2017	Bencivelli, Valter Degano, Pierpaolo Scutellà, Maria Grazia
Specification and Verification of Contract-Based Applications	SCIENZE DI BASE "GALILEO GALILEI"	2016	Degano, Pierpaolo Ferrari, Gian Luigi
Nominal Context-Free Behaviour	SCIENZE DI BASE	2014	Degano, Pierpaolo Ferrari, Gian Luigi
Adaptivity: Linguistic Mechanisms and Static Analysis Techniques	SCIENZE DI BASE	2014	Degano, Pierpaolo Ferrari, Gian Luigi
Security issues in adaptive programming	INFORMATICA	2014	Bodei, Chiara Degano, Pierpaolo Galletta, Letterio