WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants Academic Article uri icon

published proceedings

  • IEEE TRANSACTIONS ON COMPUTERS

author list (cited authors)

  • Kim, S., Mahmud, F., Huang, J., Majumder, P., Tsai, C., Muzahid, A., & Kim, E. J.

citation count

  • 0

publication date

  • 2023