A tool for IoT Firmware Certification
Authors:
G. M. Bianco, L. Ardito, and M. Valsesia
Conference:
Available:
Image-based detection and classification of Android malware through CNN models
Authors:
A. Aldini and T. Petrelli
Conference:
Available:
Hyperproperties for Safe and Secure RFID Systems
Authors:
L. Fusco and A. Aldini
Conference:
Available:
Support + Belief = Decision Trust
Authors:
A. Aldini, A. Ciabattoni, D. Pichler, and M. Tagliaferri
Conference:
The 32nd International Colloquium On Structural Information and Communication Complexity (SIROCCO 2025)
Available:
Exploiting Usage Control for Implementation and Enforcement of Security by Contract
Authors:
Journal:
Internet Of Things (Elsevier)
Available:
A Rust Library for Behaviours Assessment in Software Certification
Authors:
Journal:
Available:
On-device derivation of IoT usage control policies: Automating U-XACML policy generation from natural language with LLMs in smart homes environments
Authors:
L. Alajramy, M. Simoni, M. Rasori, A. Saracino, and P. Mori
Journal:
Future Generation Computer Systems
Available:
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis
Authors:
A. Aldini, L. Ardito, G. M. Bianco, and M. Valsesia
2025 21st International Conference on Distributed Computing in Sensor Systems (DCOSS-IoT)
Available:
Unmasking Model Behavior: How LLMs reason on Vulnerability Detection
Authors:
A. Fontana and M. Simoni
Available: