Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols.

Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott

Browse the full CCS paper archive.