Digital Memories Based Mobile User Authentication for IoT
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols