Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation.
Amin RezaeiYuanqi ShenHai ZhouPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- reverse engineering
- logic programming
- classical logic
- search algorithm
- encryption algorithms
- search strategies
- big data
- sat problem
- knowledge representation
- fine granularity
- key management
- sat solvers
- data objects
- encryption scheme
- control flow
- automated reasoning
- malware detection
- image encryption
- sat solving
- stochastic local search algorithms