Enhancing a Lock-and-Key Scheme With MTE to Mitigate Use-After-Frees.
IEEE Access, 2024
MetaSafe: Compiling for Protecting Smart Pointer Metadata to Ensure Safe Rust Integrity.
Proceedings of the 33rd USENIX Security Symposium, 2024
Exploring effective uses of the tagged memory for reducing bounds checking overheads.
J. Supercomput., 2023
TRust: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code.
Proceedings of the 32nd USENIX Security Symposium, 2023
SBGen: A Framework to Efficiently Supply Runtime Information for a Learning-Based HIDS for Multiple Virtual Machines.
IEEE Access, 2020