A Formally Verified Mechanism for Countering SPIT.

Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis

Browse the full CRITIS paper archive.