Detecting Secure Memory Deallocation Violations with CBMC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vinayak S. Prabhu, Mohit Singh, Indrajit Ray, Indrakshi Ray, Sudipto Ghosh. Detecting Secure Memory Deallocation Violations with CBMC. In Alvaro A. Cardenas, Daisuke Mashima, Ertem Esiner, editors, Proceedings of the 8th ACM on Cyber-Physical System Security Workshop, CPSS@AsiaCCS 2022, Nagasaki, Japan, 30 May 2022. pages 27-38, ACM, 2022. [doi]

This author has not been identified. Look up 'Vinayak S. Prabhu' in GoogleThis author has not been identified. Look up 'Mohit Singh' in GoogleThis author has not been identified. Look up 'Indrajit Ray' in GoogleThis author has not been identified. Look up 'Indrakshi Ray' in GoogleThis author has not been identified. Look up 'Sudipto Ghosh' in Google

runs on WebDSL