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]
Abstract is missing.