Indistinguishability Obfuscation via Mathematical Proofs of Equivalence.

Abhishek Jain Zhengzhong Jin

Published in: FOCS (2022)

Keyphrases

mathematical proofs
equivalence relation
cognitive processes
theorem prover
reverse engineering
control flow
natural language
malware detection
database views
machine learning
static analysis
encryption scheme
decision making
end users
software engineering
rough sets