Adaptively-Sound Succinct Arguments for NP from Indistinguishability Obfuscation.

Brent Waters David J. Wu

Published in: STOC (2024)

Keyphrases

reverse engineering
np hard
np complete
computational complexity
static analysis
control flow
neural network
malware detection
argumentation systems
real time
information systems
case study
image compression