Cryptologie | "when I See Crypto Bugs Like These, I Like To Think About How To Write Implementations That Either Make These Bugs Obvious, Or Prevent Them Entirely"