SEDSpec: Securing Emulated Devices by Enforcing Execution Specification. - Yang Chen; Shengzhi Zhang; Xiaoqi Jia; Qihang Zhou; Heqing Huang 001; Shaowen Xu; Haochao Du (DSN, 2024)