Yang Chen, Shengzhi Zhang, Xiaoqi Jia, Qihang Zhou, Heqing Huang, Shaowen Xu, Haochao Du. SEDSpec: Securing Emulated Devices by Enforcing Execution Specification. In 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024, Brisbane, Australia, June 24-27, 2024. pages 522-534, IEEE, 2024. [doi]
Abstract is missing.