Reviewing IoT Security via Logic Bugs in IoT Platforms and Systems | IEEE Journals & Magazine | IEEE Xplore