CSE 107 - Intro to Modern Cryptography - Bellare [SP25]