Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol.

Christian Coduri, Alessio Sacco, Guido Marchetto, Riccardo Sisto

Browse the full PERCOM paper archive.