Bridging the Theory and Practice of Cryptography

Presented in-person and online via Bluejeans Meetings on October 8, 2021 at 12:30 p.m.Joseph Jaeger is an Assistant Professor in the School of Cybersecurity and Privacy at the Georgia Institute of Technology. He works on cryptography, cybersecurity, and theoretical computer science. His research aims to apply the proof-based techniques of theory to better understand or improve the security of real-world protocols.Runtime: 52:31 minutesCryptography is deployed at scale to protect data, both in transit and at rest. However, protocols are often designed or even deployed aiming for security that extends beyond what is formally understood. This talk will cover my efforts to narrow this gap and to provide protocols that are both practical and provably secure. In my talk I will showcase examples of this from my recent and ongoing research, including how the use of cryptography at scale (e.g. in encrypted messaging apps such as WhatsApp) required new models to address unique threats and how a better understanding of the power of computational resources used by attackers (e.g. computation time and memory usage) enabled me to prove stronger security guarantees for important protocols like TLS