Jeremy Singer

CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code

Superoptimization is a powerful code optimization technique that generates optimized instruction sequences by exploring the space of instruction-level transformations. However, existing superoptimizers assume that pointers and integers are interchangeable, an assumption that no longer holds in memory-security-enhanced...