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]
No references recorded for this publication.
No citations of this publication recorded.