| Titolo |
Corso di studi |
Anno di discussione |
Relatore |
| Context-Based Authentication in Intelligent Transportation Systems |
INFORMATICA |
2026 |
|
| Property Based Testing for Solidity |
CYBERSECURITY |
2025 |
|
| Surfing: Early Security Validation of Data Flow for IoT Practice |
CYBERSECURITY |
2024 |
|
| Privacy and Security Issues in Vehicular ad hoc Networks |
DATA SCIENCE AND BUSINESS INFORMATICS |
2020 |
|
| A Fully Distributed IoT Layer using Blockchain & IPFS with Case Study and Formal Analysis |
INFORMATICA |
2020 |
|
| A Fully Distributed IoT Layer using Blockchain & IPFS with Case Study and Formal Analysis |
INFORMATICA |
2020 |
|
| A user-friendly authoring language and development environment for graphic adventure games |
TECNOLOGIE INFORMATICHE |
2014 |
|
| Security issues in adaptive programming |
INFORMATICA |
2014 |
|
| Cloud Computing Security, An Intrusion Detection System for Cloud Computing Systems |
SCIENZE DI BASE |
2013 |
- Abdelwahed, Sherif
- Baiardi, Fabrizio
- Bodei, Chiara
- Bonuccelli, Maurizio
- Hariri, Salim
- Luccio, Fabrizio
- Ouksel, Aris M.
- Parashar, Manish
- Scateni, Riccardo
- Vigna, Sebastiano
|
| UTILIZZO DI KARA PER L'ABC DELL'INFORMATICA |
INFORMATICA |
2013 |
|
| A Language-based Approach to Distributed Resources |
INFORMATICA |
2012 |
|
| Link Prediction su reti Multidimensionali |
INFORMATICA |
2011 |
|
