Media type: E-Article Title: S The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things Contributor: Ammar, Mahmoud; Crispo, Bruno; Jacobs, Bart; Hughes, Danny; Daniels, Wilfried Published: Institute of Electrical and Electronics Engineers (IEEE), 2019 Published in: IEEE Transactions on Dependable and Secure Computing, 16 (2019) 5, Seite 885-901 Language: Not determined DOI: 10.1109/tdsc.2019.2928541 ISSN: 1545-5971; 1941-0018; 2160-9209 Origination: Footnote: