Archivio Istituzionale della RicercaBIANCO, GIUSEPPE MARCO
BIANCO, GIUSEPPE MARCO
Dipartimento di Automatica e Informatica
108923
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
A Rust library for behaviours assessment in software certification
In corso di stampa Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe; Valsesia, Michele
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis
2025 Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe Marco; Valsesia, Michele
A tool for IoT Firmware Certification
2024 Bianco, G. M.; Ardito, L.; Valsesia, M.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Rust library for behaviours assessment in software certification / Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe; Valsesia, Michele. - In: IEEE INTERNET OF THINGS JOURNAL. - ISSN 2327-4662. - (In corso di stampa). | In corso di stampa | Ardito, LucaBianco, GiuseppeValsesia, Michele + | ARustLibrary.pdf |
| Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis / Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe Marco; Valsesia, Michele. - (2025), pp. 747-754. (Intervento presentato al convegno IEEE DCOSS-IoT 2025 tenutosi a Lucca (ITA) nel 09-11 June 2025) [10.1109/DCOSS-IoT65416.2025.00114]. | 1-gen-2025 | Ardito, LucaBianco, Giuseppe MarcoValsesia, Michele + | Lich: Enhancing IoT Supply Chain SecurityThrough Automated Firmware Analysis.pdf; Lich_Enhancing_IoT_Supply_Chain_Security_Through_Automated_Firmware_Analysis.pdf |
| A tool for IoT Firmware Certification / Bianco, G. M.; Ardito, L.; Valsesia, M.. - ELETTRONICO. - (2024), pp. 1-7. (Intervento presentato al convegno ARES 2024: The 19th International Conference on Availability, Reliability and Security tenutosi a Vienna (AUT) nel 30 July 2024- 2 August 2024) [10.1145/3664476.3670469]. | 1-gen-2024 | Bianco G. M.Ardito L.Valsesia M. | fw_cert.pdf; 3664476.3670469.pdf |