Yildiran Yilmaz, Basel Halak. A Two-Flights Mutual Authentication for Energy-Constrained IoT Devices. In 4th IEEE International Verification and Security Workshop, IVSW 2019, Rhodes Island, Greece, July 1-3, 2019. pages 31-36, IEEE, 2019. [doi]
Abstract is missing.