Sfoglia per Relatore
Mostrati risultati da 1 a 14 di 14
Formalizzazione dei Linguaggi Regolari in Agda
2019/2020 IVANOV, DESISLAV NIKOLAEV
Formalizzazione e Correttezza di algoritmi di ordinamento in Agda
2019/2020 VERCELLI, LORENZO
Implementazione e Dimostrazione del Nucleo di VeriFast utilizzando Isabelle
2018/2019 PELA, JACOPO
Individuazione di vulnerabilità di sicurezza in un' applicazione web seguendo le guide OWASP e NIST
2018/2019 BORIANO, VALENTINA
Migrazione della TESISQUARE Platform da Coldfusion a Lucee
2018/2019 COSTAMAGNA, ALBERTO
PhotoGo: un'applicazione per il riconoscimento di immagini con ML Kit
2020/2021 ZANCHETTA, VALERIA
Realizzazione di alcune strutture fondamentali in Rust, un linguaggio con un controllo lineare delle risorse
2020/2021 TORRE, ANTONINO
Ricostruzione di tipi per l'analisi di deadlock e lock nel pi-calcolo lineare
2013/2014 TOSATTO, ANDREA
Sicurezza Informatica e il SOC: Security Operation Center
2021/2022 DE LEO, MICHAEL
Sviluppo di una web app in Laravel per la gestione dei progetti di mobilità internazionale
2019/2020 CALABRESE, RICCARDO
Sviluppo modulare di applicazioni bancarie in ambito iOS
2020/2021 AHMED, HASSAN
Un parser per linguaggi liberi dal contesto basato sull’algoritmo di Earley
2020/2021 D'AURIA, MARIO
Un sistema di tipi per l'analisi del deadlock in programmi funzionali, concorrenti e comunicanti.
2012/2013 NOVARA, LUCA
Web Security: penetration testing e messa in sicurezza di un server
2018/2019 SIEVE, RICCARDO
Mostrati risultati da 1 a 14 di 14
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile