Sungkeun Kim, Farabi Mahmud, Jiayi Huang 0001, Pritam Majumder, Chia-che Tsai, Abdullah Muzahid, Eun Jung Kim 0001. WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants. IEEE Transactions on Computers, 72(3):811-825, March 2023. [doi]
Abstract is missing.