讲座题目：Brief Introduction to Algorithm Definition, Model Definition and Security Reduction
Dr. Fuchun Guo received his PhD degree from University of Wollongong in 2013. He started his Lecturer position at the University of Wollongong in 2016 and was awarded the ARC DECRA fellowship in the same year. Dr. Guo's research interest is the cryptography and its applications for cybersecurity. In particular, encryption, digital signatures and security proof. So far, he has published more than 80 peer-review papers, including top conferences such as CRYPTO, Asiacrypt and top journals such as IEEE TIFS, IEEE TDSC. Very recently, he has published one important monograph “Introduction to Security Reduction”.
Security reduction is a very popular approach for proving security in public-key cryptography. With security reduction, roughly speaking, we can show that breaking a proposed scheme is as difficult as solving a mathematical hard problem. However, how to program a correct security reduction using an adversary’s adaptive attack is rather complicated. The reason is that there is no universal security reduction for all proposed schemes. In this talk, for a cryptosystem, I will introduce how to define algorithms, how to define security models and how to program a security reduction.