EasyChair Smart Slide
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols