Guo F. Introduction to Cryptographic Definitions. A Step-by-Step Guide...2025