WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants | IEEE Journals & Magazine | IEEE Xplore