Cryptography 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.