Detecting Secure Memory Deallocation Violations with CBMC.

Vinayak S. Prabhu Mohit Singh Indrajit Ray Indrakshi Ray Sudipto Ghosh

Published in: CPSS@AsiaCCS (2022)

Keyphrases

automatic detection
memory requirements
memory usage
neural network
memory space
security issues
low memory
main memory
multi party
information systems
computing power
random access
key management
data mining
limited memory
key distribution
data sets