Tomás Rabas, Róbert Lórencz, Jirí Bucek. Verification of PUF-based IoT Protocols with AVISPA and Scyther. In Sabrina De Capitani di Vimercati, Pierangela Samarati, editors, Proceedings of the 19th International Conference on Security and Cryptography, SECRYPT 2022, Lisbon, Portugal, July 11-13, 2022. pages 627-635, SCITEPRESS, 2022. [doi]
Abstract is missing.