1When Kernel Programmers Lie to the Verifier: A Tale of Faulty Optimizations (opens in new tab)(blog.igns.top)2ftyghome3mo ago1