Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol / Coduri, Christian; Sacco, Alessio; Marchetto, Guido; Sisto, Riccardo. - (In corso di stampa). ( The 24th International Conference on Pervasive Computing and Communications (PerCom 2026) Pisa (IT) 16-20 March 2026).
Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol
Coduri, Christian;Sacco, Alessio;Marchetto, Guido;Sisto, Riccardo
In corso di stampa
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
a6-coduri final.pdf
accesso aperto
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
Pubblico - Tutti i diritti riservati
Dimensione
638.99 kB
Formato
Adobe PDF
|
638.99 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
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/11583/3009062
