Conference proceeding
Importance of Multi-parameter SAT Attack Exploration for Integrated Circuit Security
2018 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS 2018), pp.366-369
01 Jan 2018
Abstract
An analysis of the effects variable ordering, initial constraints, and the phase heuristic have on the number of iterations required to complete the SAT attack is described. The characterization of variable ordering through the generation of 1,000 random netlist gate orderings results in as much as 276% variation in the number of iterations required to execute the SAT attack. Setting the initial conditions of the SAT solver results in up to a 636% increase in the average number of iterations required to complete the SAT attack for an OR tree circuit topology. Modifying the phase heuristic of the SAT solver is also analyzed, indicating that the AND-tree structure does not always provide enhanced security against a SAT-attack. The described analysis demonstrates that security is dependent on a variety of conditions that are not represented in a single execution or implementation of the SAT attack, requiring further evaluation of circuit security against the SAT attack.
Metrics
6 Record Views
Details
- Title
- Importance of Multi-parameter SAT Attack Exploration for Integrated Circuit Security
- Creators
- Kyle Juretus - Drexel Univ, Elect & Comp Engn, Philadelphia, PA 19104 USAIoannis Savidis - Drexel UniversityIEEE
- Publication Details
- 2018 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS 2018), pp.366-369
- Conference
- 2018 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS 2018)
- Publisher
- IEEE
- Number of pages
- 4
- Grant note
- 32 CFR 168a / Air Force Office of Scientific Research, National Defense Science and Engineering Graduate (NDSEG) Fellowship; United States Department of Defense; Air Force Office of Scientific Research (AFOSR) CNS-1648878; CNS-1751032 / National Science Foundation; National Science Foundation (NSF) Drexel Ventures Innovation Fund
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Electrical and Computer Engineering
- Identifiers
- 991019170371604721
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Web of Science research areas
- Engineering, Electrical & Electronic