University Seminar: Logic Across Disciplines-Cryptographic Constructions
University Seminar: Logic Across Disciplines
Time: Thursday, February 18, 4:00-5:00PM
Place: zoom
Speaker: Keshav Srinivasan, GWU
Title: Universal Cryptographic Constructions
Abstract: The encryption and authentication schemes used in modern cryptography are dependent on mathematical hardness assumptions, unproven conjectures in computational complexity theory. We will give an introduction to these hardness assumptions, and explain their relationship to cryptographic constructions. In the final portion of the talk, we will discuss work by Leonid Levin and others concerning universal cryptographic constructions, which utilize Universal Turing Machines to avoid reliance on specific hardness assumptions.
If you would like a Zoom invitation please write to [email protected]