Overview
Explore the concept of indistinguishability obfuscation in cryptography through a 26-minute conference talk presented by Huijia Lin at Eurocrypt 2016. Delve into circuit obfuscation, graded encoding schemes, and functional encryption. Learn about the approach to strengthen reduction in cryptographic systems, the use of asymmetric multilinear maps, and the process of upgrading Boolean functional encryption. Understand how to balance security at its limits and the technique of squashing high fan-out trees to achieve constant degree in obfuscation schemes.
Syllabus
Intro
Circuit Obfuscation Compile a circuit Cinto one that preserves functionality
Indistinguishability Obfuscator iO BGI+01
Balancing at the border of (in)security
This work: Strengthen the reduction
(Asymmetric) Multilinear Maps [BS03]
Graded Encoding Schemes (GES) GGH13
Our Approach
(1-Key) Functional Encryption
Boolean Functional Encryption
Upgrade Boolean FE to FE for l-bit output circuits
Constant Degree?
Squash the Tree with High Fan-out
Summary
Taught by
TheIACR