Memory Checking for Parallel RAMs

Surya Mathialagan. Memory Checking for Parallel RAMs. In Guy N. Rothblum, Hoeteck Wee, editors, Theory of Cryptography - 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II. Volume 14370 of Lecture Notes in Computer Science, pages 436-464, Springer, 2023. [doi]

Abstract

Abstract is missing.