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 reviews for this publication, yet.