Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger. Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety. IEEE Security & Privacy, 22(4):40-49, July - August 2024. [doi]
Abstract is missing.