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

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