Keeping up with the KEMs, Formally (EasyCrypt Edition)Published bycryptographycaffe.sandboxaq.comHistorical Content•1 min read“Draw the outputs of a key encapsulation mechanism, bound together, being checked by a computer, pixel art” by DALL-E 3.KeepingKemsFormallyEasycryptEditionLearn moreShareLegalReport