| EU Project | CROSSCON |
|---|---|
| EU Programme | |
| Internal ID | 438 |
| Publication Type | Peer reviewed articles |
| Title | Firmware Secure Updates meet Formal Verification |
| Authors | Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri |
| Year | 2025 |
| DOI | https://doi.org/10.1145/3754455 |
| Research Category | Cybersecurity, Privacy, and Trust |