Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE
scientific article; zbMATH DE number 6943899