CS Events Monthly View

By Year

By Month

By Week

Today

Jump to month

January February March April May June July August September October November December 2021 2022 2023 2024 2025 2026 2027 2028 Jump to month

Faculty Candidate Talk Design and Formally Verify Post-Quantum Cryptography.
× Export Event Save iCal Send to Google Calendar Send to Yahoo Calendar Send to Outlook Live Send to Microsoft Outlook Save iCal Preserve formatting in description (only supported in some calendar applications) Close Monday, March 07, 2022, 10:30am - 12:00pm

Speaker: Xiong (Leo) Fan, Algorand.

Bio

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.

Organization: 

Rutgers University School of Arts and Sciences

Contact  Santosh Nagarakatte

Join Zoom Meeting
https://rutgers.zoom.us/j/99373730018?pwd=ZlhOcytqRk9HYzZnMW53UlZ3ODFmUT09

Join by SIP
99373730018@zoomcrc.com

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