Design high-confidence computers using trusted instructional set architecture and emulators

High-confidence computing relies on trusted instructional set architecture, sealed kernels, and secure operating systems. Cloud computing depends on trusted systems for virtualization tasks. Branch predictions and pipelines are essential in improving performance of a CPU/GPU. But Spectre and Meltdow...

Full description

Bibliographic Details
Main Author: Shuangbao (Paul) Wang, Ph.D.
Format: Article
Language:English
Published: Elsevier 2021-12-01
Series:High-Confidence Computing
Subjects:
Online Access:http://www.sciencedirect.com/science/article/pii/S2667295221000106