This page shows all presentations of this author published in EasyChair Smart Slide.
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
Musab A. Alturki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott