@article{10.1145/3673660.3655056,
author = {Bitchebe, Stella and Kone, Yves and Olivier, Pierre and Boukhobza, Jalil and Bromberg, Y\'{e}rom-David and Hagimont, Daniel and Tchana, Alain},
title = {GuaNary: Efficient Buffer Overflow Detection In Virtualized Clouds Using Intel EPT-based Sub-Page Write Protection Support},
year = {2024},
issue_date = {June 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {52},
number = {1},
issn = {0163-5999},
url = {https://doi.org/10.1145/3673660.3655056},
doi = {10.1145/3673660.3655056},
abstract = {Buffer overflow is a widespread memory safety violation in C/C++, reported as the top vulnerability in 2022. Secure memory allocators are generally used to protect systems against attacks that may exploit buffer overflows. Existing allocators mainly rely on two types of countermeasures to prevent or detect overflows: canaries and guard pages, each with pros and cons in terms of detection latency and memory footprint.This paper follows the Out of Hypervisor (OoH) trend for virtualized cloud applications. It introduces GuaNary, a novel safety guard against overflows allowing synchronous detection at a low memory footprint cost. OoH is a new virtualization research axis introduced in 2022 advocating the exposure of hardware features for virtualization to the guest OS so that its processes can take advantage of them. Based on the OoH principle, GuaNary leverages Intel Sub-Page write Permission (SPP), a recent hardware virtualization feature that allows to write-protect guest memory at the granularity of 128B (namely, sub-page) instead of 4KB. We implement a software stack, LeanGuard, which promotes the utilization of SPP from inside virtual machines by new secure allocators that use GuaNary. Our evaluation shows that for the same number of protected buffers, LeanGuard consumes 8.3x less memory than SlimGuard, a state-of-the-art secure allocator. Furthermore, for the same memory consumption, LeanGuard protecting 25x more buffers than SlimGuard.},
journal = {SIGMETRICS Perform. Eval. Rev.},
month = {jun},
pages = {65–66},
numpages = {2},
keywords = {buffer overflow detection, intel spp, secure heap memory allocator, virtualized clouds}
}
@inproceedings{10.1145/3652963.3655056,
author = {Bitchebe, Stella and Kone, Yves and Olivier, Pierre and Boukhobza, Jalil and Bromberg, Y\'{e}rom-David and Hagimont, Daniel and Tchana, Alain},
title = {GuaNary: Efficient Buffer Overflow Detection In Virtualized Clouds Using Intel EPT-based Sub-Page Write Protection Support},
year = {2024},
isbn = {9798400706240},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3652963.3655056},
doi = {10.1145/3652963.3655056},
abstract = {Buffer overflow is a widespread memory safety violation in C/C++, reported as the top vulnerability in 2022. Secure memory allocators are generally used to protect systems against attacks that may exploit buffer overflows. Existing allocators mainly rely on two types of countermeasures to prevent or detect overflows: canaries and guard pages, each with pros and cons in terms of detection latency and memory footprint.This paper follows the Out of Hypervisor (OoH) trend for virtualized cloud applications. It introduces GuaNary, a novel safety guard against overflows allowing synchronous detection at a low memory footprint cost. OoH is a new virtualization research axis introduced in 2022 advocating the exposure of hardware features for virtualization to the guest OS so that its processes can take advantage of them. Based on the OoH principle, GuaNary leverages Intel Sub-Page write Permission (SPP), a recent hardware virtualization feature that allows to write-protect guest memory at the granularity of 128B (namely, sub-page) instead of 4KB. We implement a software stack, LeanGuard, which promotes the utilization of SPP from inside virtual machines by new secure allocators that use GuaNary. Our evaluation shows that for the same number of protected buffers, LeanGuard consumes 8.3x less memory than SlimGuard, a state-of-the-art secure allocator. Furthermore, for the same memory consumption, LeanGuard protecting 25x more buffers than SlimGuard.},
booktitle = {Abstracts of the 2024 ACM SIGMETRICS/IFIP PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems},
pages = {65–66},
numpages = {2},
keywords = {buffer overflow detection, intel spp, secure heap memory allocator, virtualized clouds},
location = {Venice, Italy},
series = {SIGMETRICS/PERFORMANCE '24}
}