WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sungkeun Kim' in GoogleThis author has not been identified. Look up 'Farabi Mahmud' in GoogleThis author has not been identified. Look up 'Jiayi Huang 0001' in GoogleThis author has not been identified. Look up 'Pritam Majumder' in GoogleThis author has not been identified. Look up 'Chia-che Tsai' in GoogleThis author has not been identified. Look up 'Abdullah Muzahid' in GoogleThis author has not been identified. Look up 'Eun Jung Kim 0001' in Google

runs on WebDSL