Faculty Candidate Talk
Design and Formally Verify Post-Quantum Cryptography.
Monday, March 07, 2022, 10:30am - 12:00pm
Speaker: Xiong (Leo) Fan, Algorand.
Xiong (Leo) Fan is a cryptography researcher at Algorand. He obtained his Ph.D. from Cornell University and then spent one year as a postdoc at University of Maryland. During his doctoral study, he has been interned at Simons Institute, Yahoo! Labs, Bell Labs and IBM TJ Watson Research Center. His research interests are cryptography and its intersections with formal verification and hardware acceleration.
Location : Via Zoom
Event Type: Faculty Candidate Talk
Abstract: The use of cryptography is ubiquitous in our daily life. However, the development of faster quantum computers can break today’s crypto-systems. Therefore, it is imperative that we develop and deploy post-quantum cryptography, before scalable quantum computers become a reality.My research focuses on designing and formally verifying cryptographic primitives based on post-quantum assumptions. My approach combines cryptography and formal methods, aiming to bring provable security to real-world applications. In this talk, I will discuss how to design a post-quantum secure encryption scheme that provides fine-grained access control over encrypted data. Further, I will describe a system called AutoLWE, capable of mechanizing security proofs of lattice-based cryptosystems.
Rutgers University School of Arts and Sciences
Contact Santosh Nagarakatte