Indistinguishability Obfuscation via Mathematical Proofs of Equivalence | IEEE Conference Publication | IEEE Xplore