Emanuele Beozzo

According to our database, Emanuele Beozzo authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Firmware Secure Updates Meet Formal Verification.

Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri

ACM Trans. Cyber Phys. Syst., January, 2026

2025

Certified Secure Updates for IoT Devices.

Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri

Proceedings of the ICT Systems Security and Privacy Protection, 2025

Bridging the Interoperability Gaps Among Trusted Architectures in MCUs.

Sandro Pinto, Luís Cunha, Daniel Oliveira, Michele Grisafi, Emanuele Beozzo, Bruno Crispo

Proceedings of the Information and Communications Security - 27th International Conference, 2025