On Optical Attacks Making Logic Obfuscation Fragile.
Leonidas LavdasM. Tanjidur RahmanMark M. TehranipoorNavid AsadizanjaniPublished in: ITC-Asia (2020)
Keyphrases
- semi fragile watermarking
- countermeasures
- reverse engineering
- automated reasoning
- predicate logic
- security mechanisms
- watermarking scheme
- modal logic
- static analysis
- neural network
- computer security
- logic programming
- malware detection
- denial of service attacks
- terrorist attacks
- unauthorized access
- software engineering