Memory Checking Requires Logarithmic Overhead

Elette Boyle, Ilan Komargodski, Neekon Vafa. Memory Checking Requires Logarithmic Overhead. Electronic Colloquium on Computational Complexity (ECCC), TR24, 2024. [doi]

Abstract

Abstract is missing.