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]
@inproceedings{CoduriSMS26,
title = {Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol},
author = {Christian Coduri and Alessio Sacco and Guido Marchetto and Riccardo Sisto},
year = {2026},
doi = {10.1109/PerComWorkshops68308.2026.11585400},
url = {https://doi.org/10.1109/PerComWorkshops68308.2026.11585400},
researchr = {https://researchr.org/publication/CoduriSMS26},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom 2026 - Workshops, Pisa, Italy, March 16-20, 2026},
publisher = {IEEE},
isbn = {979-8-3315-7615-8},
}