January 27, 2023

Why we should quote eat-and-run verification