Researcher profile
Ilan Komargodski
1 paper in the PaperMetrix corpus
Publications
Papers by this author
-
Memory Checking Requires Logarithmic Overhead
2024
We study the complexity of memory checkers with computational security and prove the first general tight lower bound.