Use-after-free violations of temporal memory safety continue to plague software systems,
underpinning many high-impact exploits. The CHERI capability system shows great promise …

A lack of temporal safety in low-level languages has led to an epidemic of use-after-free
exploits. These have surpassed in number and severity even the infamous buffer-overflow …

Capability architectures for memory safety have traditionally required expanding pointers
and radically changing microarchitectural structures throughout processors, while only …

Use-after-free vulnerabilities have plagued software written in low-level languages, such as
C and C++, becoming one of the most frequent classes of exploited software bugs. Attackers …

Use-after-free vulnerabilities remain difficult to detect and mitigate, making them a popular
source of exploitation. Existing solutions incur impractical performance/memory overhead …

Temporal memory corruptions are commonly exploited software vulnerabilities that can lead
to powerful attacks. Despite significant progress made by decades of research on mitigation …

Memory-unsafe languages are widely used to implement critical systems like kernels and
browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a …

WebAssembly (Wasm) is a low-level platform-independent bytecode language. Today,
developers can compile C/C++ to Wasm and run it everywhere, at almost native speeds …

Tightly Seal Your Sensitive Pointers with PACTighT Page 1 This paper is included in the
Proceedings of the 31st USENIX Security Symposium. August 10–12, 2022 • Boston, MA, USA …

Low-level languages, which require manual memory management from the programmer,
remain in wide use for performance-critical applications. Memory-safety bugs are common …