Adaptively-Sound Succinct Arguments for NP from Indistinguishability Obfuscation.

Brent Waters David J. Wu

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

computational complexity
np complete
reverse engineering
static analysis
database
real time
np hard
argumentation systems
abstract argumentation
database views
neural network
privacy preserving
control flow
malware detection