High-Confidence Computing | www.gmachineinfo.com

期刊

全部

2021

2022

2023

vol.01

vol.02

题名	刊名	作者	出版年	年卷期
A model checking-based security analysis framework for IoT systems	High-Confidence Computing	Zheng Fang;Hao Fua;Tianbo Gu;Zhiyun Qian;Trent Jaeger;Pengfei Hu;Prasant Mohapatra	2021	1
EDITORIAL BOARD	High-Confidence Computing		2021	1
USB powered devices:A survey of side-channel threats and countermeasures	High-Confidence Computing	Hao Liu;Riccardo Spolaor;Federico Turrin;Riccardo Bonafede;Mauro Conti	2021	1