< Back to previous page
Publication
SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things
Journal Contribution - Journal Article
Journal: IEEE Transactions on Dependable and Secure Computing
ISSN: 1545-5971
Issue: 5
Volume: 16
Pages: 885 - 901
Publication year:2019
BOF-keylabel:yes
IOF-keylabel:yes
BOF-publication weight:3
CSS-citation score:1
Authors:International
Authors from:Private, Higher Education
Accessibility:Closed