S-V—The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things | IEEE Journals & Magazine | IEEE Xplore