Anybody ever understand the attack game setups ? I felt like its a bit overcomplicated just to prove a contradiction. Also I am not sure if the metrics introduced like SSAdv and Message recovery advantage actually are used in places other than this book.
In my experience working through the first few chapters, I'll say that the attack game framework is pretty standard across lots of course materials from universities (at least the ones that I've found posted online). One thing that is not consistent is the notation used; it seems like there are multiple competing (but essentially equivalent) sets of notations used in attack game/advantage discussions.
