WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants

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]

@article{KimMHMTMK23,
  title = {WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants},
  author = {Sungkeun Kim and Farabi Mahmud and Jiayi Huang 0001 and Pritam Majumder and Chia-che Tsai and Abdullah Muzahid and Eun Jung Kim 0001},
  year = {2023},
  month = {March},
  doi = {10.1109/TC.2022.3180990},
  url = {https://doi.org/10.1109/TC.2022.3180990},
  researchr = {https://researchr.org/publication/KimMHMTMK23},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Computers},
  volume = {72},
  number = {3},
  pages = {811-825},
}