Parallelizing SAT-based de-camouflaging attacks by circuit partitioning and conflict avoiding.
Xueyan WangQiang ZhouYici CaiGang QuPublished in: Integr. (2019)
Keyphrases
- answer set programming
- countermeasures
- high speed
- sat solvers
- conflict resolution
- watermarking scheme
- electronic circuits
- parallel processing
- circuit design
- bounded model checking
- ai planning
- partitioning algorithm
- version space
- answer sets
- resolving conflicts
- security threats
- constraint solver
- malicious users
- watermarking technique
- logic circuits
- dos attacks
- security mechanisms
- planning domains
- orders of magnitude