Revisit sequential logic obfuscation: Attacks and defenses.
Travis MeadeZheng ZhaoShaojie ZhangDavid Z. PanYier JinPublished in: ISCAS (2017)
Keyphrases
- denial of service attacks
- dos attacks
- denial of service
- reverse engineering
- logic programming
- countermeasures
- machine learning
- attack detection
- lightweight
- security threats
- predicate logic
- modal logic
- classical logic
- control flow
- multi valued
- defeasible logic
- ddos attacks
- traffic analysis
- automated reasoning
- terrorist attacks
- static analysis
- watermarking scheme