Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares. Formal verification for security and attacks in IoT physical layer. J. Reliable Intelligent Environments, 10(1):73-91, March 2024. [doi]
Abstract is missing.