Past Events

Faculty Candidate Talk

Design and Formally Verify Post-Quantum Cryptography.


Download as iCal file

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

Join Zoom Meeting

Join by SIP
This email address is being protected from spambots. You need JavaScript enabled to view it.

Meeting ID: 993 7373 0018
Password: 804563
One tap mobile
+13126266799,,99373730018# US (Chicago)
+16465588656,,99373730018# US (New York)

Join By Phone
+1 312 626 6799 US (Chicago)
+1 646 558 8656 US (New York)
+1 301 715 8592 US (Washington DC)
+1 346 248 7799 US (Houston)
+1 669 900 9128 US (San Jose)
+1 253 215 8782 US (Tacoma)
Meeting ID: 993 7373 0018