IRIS

Firmware Secure Updates meet Formal Verification / Tacchella, Alberto; Beozzo, Emanuele; Crispo, Bruno; Roveri, Marco. - In: ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS. - ISSN 2378-962X. - 2025:(2025). [10.1145/3754455]

Firmware Secure Updates meet Formal Verification

Alberto Tacchella
;Emanuele Beozzo;Bruno Crispo;Marco Roveri
2025-01-01
2025
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS
Tacchella, Alberto; Beozzo, Emanuele; Crispo, Bruno; Roveri, Marco
Firmware Secure Updates meet Formal Verification / Tacchella, Alberto; Beozzo, Emanuele; Crispo, Bruno; Roveri, Marco. - In: ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS. - ISSN 2378-962X. - 2025:(2025). [10.1145/3754455]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/463775
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact