A Combined Logical and Physical Attack on Logic Obfuscation.
Michael ZuzakYuntao LiuIsaac McDanielAnkur SrivastavaPublished in: ICCAD (2022)
Keyphrases
- logical operations
- logical representation
- logical framework
- reverse engineering
- predicate calculus
- real world
- logical rules
- modal logic
- dynamic logic
- classical logic
- truth values
- logical formulas
- probabilistic logic
- lambda calculus
- databases
- probability theory
- countermeasures
- malware detection
- predicate logic
- control flow
- proof theory
- multi valued
- operating system
- neural network