Christian Coduri, Alessio Sacco, Guido Marchetto, Riccardo Sisto. Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol. In IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom 2026 - Workshops, Pisa, Italy, March 16-20, 2026. pages 1-6, IEEE, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.