Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Christian Coduri' in GoogleThis author has not been identified. Look up 'Alessio Sacco' in GoogleThis author has not been identified. Look up 'Guido Marchetto' in GoogleThis author has not been identified. Look up 'Riccardo Sisto' in Google

runs on WebDSL