PRELIMINARIES Mathematical background Algebraic structures in a nutshellFinite groupsSummary and further readingExercisesBasics on complexity Complexity classesAsymptotic notation and examplesSummary and further readingExercisesCryptology: An introductionA short historical overview Historical encryption schemes Public-key cryptographyModern cryptologySummary and further readingExercisesPUBLIC-KEY ENCRYPTIONProvable security guarantees Public-key encryption revisitedCharacterizing secure public-key encryptionOne-way functions and random oraclesThe general Bellare-Rogaway constructionIN