Introduction to Cryptology Lab: Our lab studies all aspects of provable security for cryptographic primitives or protocols. We analyze security of existing cryptographic schemes and design new schemes and protocols providing both efficiency and provable security.

Provable Security in Symmetric Cryptography

- Security Proof of Block Cipher Structures and Key-length-extension Schemes

- Design and Security Proof of Block Cipher-based Hash Functions, Permutation-based Hash Functions and Modes of Operation


Research on Post-quantum Cryptography

- Design and Cryptanalysis of White-box Implementation Schemes

- Design of Efficient Hash-based Signature Schemes

- Design and Cryptanalysis of Multivariate Public Key Cryptography