@misc{indiciae913356a958c6,
  title = {Design high-confidence computers using trusted instructional set architecture and emulators},
  author = {Shuangbao Paul Wang},
  year = {2025},
  doi = {10.1016/j.hcc.2021.100009},
  url = {https://arxiv.org/abs/2506.18780},
  note = {Source identifier: 2506.18780}
}