“…In his book "The Joy of Cryptography" [40], Rosulek introduces a framework (which we call JC for convenience) based on Bellare and Rogaway's code-based game-playing framework and the associated game-hopping proof technique. The goal of the JC approach is primarily educational, as it is used, to the knowledge of the author, exclusively to conduct relatively simple example proofs in the context of the textbook.…”