Certifiably secure IoT - [Macro & Micro] | IEEE Journals & Magazine | IEEE Xplore