TY  - RPRT
TI  - Design high-confidence computers using trusted instructional set architecture and emulators
AU  - Shuangbao Paul Wang
PY  - 2025
DO  - 10.1016/j.hcc.2021.100009
UR  - https://arxiv.org/abs/2506.18780
ID  - 2506.18780
ER  -