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]
@inproceedings{PrabhuSRRG22,
title = {Detecting Secure Memory Deallocation Violations with CBMC},
author = {Vinayak S. Prabhu and Mohit Singh and Indrajit Ray and Indrakshi Ray and Sudipto Ghosh},
year = {2022},
doi = {10.1145/3494107.3522779},
url = {https://doi.org/10.1145/3494107.3522779},
researchr = {https://researchr.org/publication/PrabhuSRRG22},
cites = {0},
citedby = {0},
pages = {27-38},
booktitle = {Proceedings of the 8th ACM on Cyber-Physical System Security Workshop, CPSS@AsiaCCS 2022,
Nagasaki, Japan, 30 May 2022},
editor = {Alvaro A. Cardenas and Daisuke Mashima and Ertem Esiner},
publisher = {ACM},
isbn = {978-1-4503-9176-4},
}