Efficient and secure in-process isolation is in great demand, as evidenced in the shift
towards JavaScript and the recent revival of memory protection keys. Yet, state-of-the-art …

Programming languages like C and C++ are not memory-safe because they provide
programmers with low-level pointer manipulation primitives. The incorrect use of these …

In-process compartmentalization and access control have been actively explored to provide
in-place and efficient isolation of in-process security domains. Many works have proposed …

Queries on linked data structures, such as trees and graphs, often suffer from frequent cache
misses and significant performance loss due to dependent and random pointer-chasing …

ARM recently introduced a security feature called Memory Tagging Extension or MTE, which
is designed to defend against common memory safety vulnerabilities, such as buffer …

Decomposing large systems into smaller components with limited privileges has long been
recognized as an effective means to minimize the impact of exploits. Despite historical roots …

Page-based virtual memory relies on TLBs to accelerate the address translation. Nowadays,
the gap between application workloads and the capacity of TLB continues to grow, bringing …

Memory safety issues are the intrinsic diseases of C/C++ programs. Dynamic memory safety
enforcement as the dominant approach has an advantage in high effectiveness, yet suffers …

Automated test data generation for unit testing C/C++ functions using concolic methods is
well-known for improving software quality while reducing human testing effort. However …

Memory safety violations, such as buffer overflows, are the primary cause of security and
reliability issues in software systems. Like the volatile main memory, byte-addressable …