Verification of PUF-based IoT Protocols with AVISPA and Scyther.

Toms Rabas, Rbert Lrencz, Jir Bucek

Browse the full SECRYPT paper archive.