article · IEEE Security & Privacy · 2024
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
Cited by 3Open access
Abstract
Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory safety validation.
Cite this paper
Huang, K., Payer, M., Qian, Z., Sampson, J., Tan, G., & Jaeger, T. (2024). Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety. IEEE Security & Privacy, 22(4), 40–49. https://doi.org/10.1109/msec.2024.3379947
Huang, Kaiming, et al. “Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety.” IEEE Security & Privacy, vol. 22, no. 4, 2024, pp. 40–49, https://doi.org/10.1109/msec.2024.3379947.
Huang, Kaiming, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, and Trent Jaeger. 2024. “Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety.” IEEE Security & Privacy 22 (4): 40–49. https://doi.org/10.1109/msec.2024.3379947.
Huang, K. et al. (2024) ‘Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety’, IEEE Security & Privacy, 22(4), pp. 40–49. Available at: https://doi.org/10.1109/msec.2024.3379947.
@article{huang2024comprehensive,
title = {{Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety}},
author = {Huang, Kaiming and Payer, Mathias and Qian, Zhiyun and Sampson, Jack and Tan, Gang and Jaeger, Trent},
journal = {IEEE Security & Privacy},
volume = {22},
number = {4},
pages = {40--49},
year = {2024},
doi = {10.1109/msec.2024.3379947}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.