BODEI, CHIARA Statistiche

BODEI, CHIARA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 106 (tempo di esecuzione: 0.082 secondi).
Titolo Data di pubblicazione Autore(i) File
From Hardware-Functional to Software-Defined Vehicles and their Security Issues 1-gen-2023 Bodei, Chiara; DE VINCENZI, Marco; Matteucci, Ilaria
Risk Estimation in IoT Systems 1-gen-2023 Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo
Vehicle Data Collection: A Privacy Policy Analysis and Comparison 1-gen-2023 Bodei, Chiara; Costantino, Gianpiero; DE VINCENZI, Marco; Matteucci, Ilaria; Monreale, Anna
Una storia nazionale: il Museo degli Strumenti per il calcolo 1-gen-2022 Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe
FWS: Analyzing, maintaining and transcompiling firewalls 1-gen-2021 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
Giornate Fibonacci: 850° anniversario della nascita di Leonardo Pisano, detto il Fibonacci, Pisa, Università di Pisa, 20-23 novem- bre 2020 1-gen-2021 Bodei, C.; Gadducci, F.
Modelling and analysing IoT systems 1-gen-2021 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza 1-gen-2020 Bodei, Chiara; Finelli, Pietro
Analysing the Provenance of IoT Data 1-gen-2020 Bodei, Chiara; Galletta, Letterio
Hello world! L'informatica dall'aritmometro allo smartphone 1-gen-2020 Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe
Natural Projection as Partial Model Checking 1-gen-2020 Costa, G.; Galletta, L.; Degano, P.; Basin, D.; Bodei, C.
Security Metrics at Work on the Things in IoT Systems 1-gen-2020 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
The link-calculus for open multiparty interactions 1-gen-2020 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
A formal approach to open multiparty interactions 1-gen-2019 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
Measuring security in IoT communications 1-gen-2019 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Programming in a context-aware language 1-gen-2019 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Revealing the trajectories of KLAIM tuples, statically 1-gen-2019 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
Tracking data trajectories in IoT 1-gen-2019 Bodei, C.; Galletta, L.
Firewall Management With FireWall Synthesizer 1-gen-2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
From Natural Projection to Partial Model Checking and Back 1-gen-2018 Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio