The Mathematics of Hiding Secrets in Software

Explore the concept of indistinguishability obfuscation (iO) in this 46-minute conference talk by Amit Sahai and Huijia (Rachel) Lin for the International Mathematical Union. Delve into the rigorous formulation of a "one-way compiler" that transforms computer programs into incomprehensible versions while maintaining their functionality. Discover how iO has become a "master tool" for achieving various cryptographic goals over the past decade. Learn about the speakers' recent breakthrough in constructing iO with mathematically provable security based on three well-studied computational hardness conjectures in cryptography. Access the accompanying presentation slides for a visual aid to the complex mathematical concepts discussed.