The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
We examine a formalization of the "one-way compiler" concept with the notion of indistinguishability obfuscation.
"Indistinguishability Obfuscation from Well-Founded Assumptions," by Aayush Jain et al., gives a new construction of indistinguishability obfuscation that is provably secure.