Report on the First DES Fixed Points for Non-Weak Keys: Case-Study of Hacking an IoT Environment | IEEE Journals & Magazine | IEEE Xplore