Teaching

Provable security theory

“Provable Security Theory” constitutes an advanced core course in cryptography and information security, employing formal methodologies to establish rigorous security proof frameworks for cryptographic schemes. The curriculum systematically addresses: 1) Security model formulation; 2) Reduction proof techniques; 3) Security analysis under random oracle model versus standard model paradigms; 4) Security argumentation methodologies for cryptographic protocols.

Introduction to Information Security

“Introduction to Information Security” serves as a foundational course for undergraduate cybersecurity programs, delivering essential disciplinary knowledge through structured modules: 1) Historical evolution of computing; 2) Core computing principles including operating systems and network architectures; 3) Systemic security mechanisms; 4) Cybersecurity knowledge frameworks; 5) Cutting-edge theories in cyberspace security.

Modern Cryptography

“Modern Cryptography” constitutes a core compulsory course in Information Security curricula, establishing a foundational framework for understanding and pursuing careers in cybersecurity-related fields. This discipline systematically equips students with comprehensive methodologies for cryptographic system design and analysis, while providing essential groundwork for advanced security research and secure system development.