![Quantum Hamiltonian Complexity_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Quantum%20Hamiltonian%20Complexity_hi-res.jpg?h=450de763&itok=M65w-RVO)
Abstract
The goal of secure program obfuscation is to make a program "unintelligible" while preserving its functionality. For decades, program obfuscation for general programs has remained an art, with all public general-purpose obfuscation methods known to be broken.
In this talk, we will describe new developments that for the first time provide a mathematical approach to the problem of general-purpose program obfuscation, where extracting secrets from the obfuscated program requires solving mathematical problems that we believe to be intractable. We will also discuss the implications of these developments.