Memory Checking Requires Logarithmic Overhead. - Boyle, Elette; Komargodski, Ilan; Vafa, Neekon (Journal of the ACM, 2025)