Research Assistant
Department of Control and Computer Engineering (DAUIN)
Research
Research groups
Publications
Latest publications View all publications in Porto@Iris
- Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe; Valsesia, Michele (In stampa)
A Rust library for behaviours assessment in software certification. In: IEEE INTERNET OF THINGS JOURNAL. ISSN 2327-4662
Contributo su Rivista - Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe Marco; Valsesia, Michele (2025)
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis. In: IEEE DCOSS-IoT 2025, Lucca (ITA), 09-11 June 2025, pp. 747-754. ISBN: 979-8-3315-4372-3
Contributo in Atti di Convegno (Proceeding) - Bianco, G. M.; Ardito, L.; Valsesia, M. (2024)
A tool for IoT Firmware Certification. In: ARES 2024: The 19th International Conference on Availability, Reliability and Security, Vienna (AUT), 30 July 2024- 2 August 2024, pp. 1-7. ISBN: 979-8-4007-1718-5
Contributo in Atti di Convegno (Proceeding) - Ardito, Luca; Ballario, Marco; Valsesia, Michele (2023)
Research, Implementation and Analysis of Source Code Metrics in Rust-Code-Analysis. In: 23rd International Conference on Software Quality, Reliability, and Security (QRS), Chiang Mai (Thailand), 22-26 October 2023, pp. 497-506. ISBN: 979-8-3503-1958-3
Contributo in Atti di Convegno (Proceeding) - Ardito, Luca; Barbato, Luca; Coppola, Riccardo; Valsesia, Michele (2021)
Evaluation of Rust code verbosity, understandability and complexity. In: PEERJ. COMPUTER SCIENCE., pp. 1-33. ISSN 2376-5992
Contributo su Rivista