From post

SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things.

, , , , и . IEEE Trans. Dependable Secur. Comput., 16 (5): 885-901 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Internet of Things: A survey on the security of IoT frameworks., , и . J. Inf. Secur. Appl., (2018)Iterative successive interference cancellation for multi-user DS/CDMA detectors in multipath channels., , и . Ann. des Télécommunications, 57 (1-2): 105-124 (2002)New iterative-scheduling algorithm for OFDMA systems., , и . ATSIP, стр. 762-766. IEEE, (2016)A Dynamic Inter-cellular Bandwidth Fair Sharing scheduler for future wireless networks., , , , , и . Phys. Commun., (2017)WISE: A Lightweight Intelligent Swarm Attestation Scheme for the Internet of Things., и . ACM Trans. Internet Things, 1 (3): 19:1-19:30 (2020)A Generalised Wideband Space-Time MIMO Channel Simulator Based on the Geometrical Multi-Radii One-Ring Model., , , и . VTC Spring, стр. 1266-1270. IEEE, (2008)MPI: Memory Protection for Intermittent Computing., , , и . IEEE Trans. Inf. Forensics Secur., (2022)OSLo: Optical Sensor Localization through Mesh Networked Cameras., , , , , , и . WOWMOM, стр. 139-148. IEEE, (2021)SlimIoT: Scalable Lightweight Attestation Protocol for the Internet of Things., , , и . DSC, стр. 1-8. IEEE, (2018)Towards a standards-compliant pure-software trusted execution environment for resource-constrained embedded devices., , , и . SysTEX@SOSP, стр. 6:1-6:6. ACM, (2019)