Invited Talks
Yu Guo
Title
Past & Future of Crypto Formal Verification
Abstract
Formal verification of cryptographic protocols is a powerful technique that has been used to prove security of many constructions. In this talk I will discuss the past and future of formal verification in cryptography. I will start with a brief overview of the history of formal verification in cryptography, including some of the most important results and techniques. I will then discuss the current state of the art, including some recent advances in the field. Finally, I will outline some open problems and challenges for the future, including the need for more scalable and efficient verification techniques, as well as the importance of integrating formal verification into the design and implementation process.
Biography
Yu Guo is a god-like researcher in the field of cryptography. He is the goldfather of every Chinese crypto-zk community.