Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033565368> ?p ?o ?g. }
- W2033565368 abstract "Modern circuits incorporate many components that are designed by outside sources. Unfortunately, these external designs introduce a new vector of attacking a circuit through the introduction of malicious hardware. Identifying such an insertion in external intellectual property is difficult, as the labor cost and time required to investigate these designs manually is prohibitive. Additionally, due to state explosion, it is impossible to exhaustively test every possible input combination. This paper describes a method of automatically comparing two different circuits with similar functionality, in order to verify that these two designs do what they are supposed to do, and nothing more. The designs are compared by unrolling the state logic internally, so that the design outputs are represented in terms of prior inputs. This technique is advantageous as neither design needs to be a known safe design, making the task of finding similar circuits simple. Additionally, this converts the state explosion dilemma into a more easily computable Boolean satisfiability problem. The technique has been evaluated using several benchmark circuits, including circuits that contain malicious modifications." @default.
- W2033565368 created "2016-06-24" @default.
- W2033565368 creator A5021339749 @default.
- W2033565368 creator A5060550690 @default.
- W2033565368 creator A5065276448 @default.
- W2033565368 date "2011-11-01" @default.
- W2033565368 modified "2023-10-17" @default.
- W2033565368 title "Design Comparison to Identify Malicious Hardware in External Intellectual Property" @default.
- W2033565368 cites W1994870682 @default.
- W2033565368 cites W2012032225 @default.
- W2033565368 cites W2025516544 @default.
- W2033565368 cites W2036265926 @default.
- W2033565368 cites W2036619512 @default.
- W2033565368 cites W2064541558 @default.
- W2033565368 cites W2098536553 @default.
- W2033565368 cites W2104671161 @default.
- W2033565368 cites W2122122437 @default.
- W2033565368 cites W2125129715 @default.
- W2033565368 cites W2138039798 @default.
- W2033565368 cites W2142009725 @default.
- W2033565368 cites W2145937629 @default.
- W2033565368 cites W2146091063 @default.
- W2033565368 cites W2148357146 @default.
- W2033565368 cites W2162730329 @default.
- W2033565368 cites W2164797883 @default.
- W2033565368 cites W2171734454 @default.
- W2033565368 cites W3150167865 @default.
- W2033565368 cites W4300021588 @default.
- W2033565368 doi "https://doi.org/10.1109/trustcom.2011.82" @default.
- W2033565368 hasPublicationYear "2011" @default.
- W2033565368 type Work @default.
- W2033565368 sameAs 2033565368 @default.
- W2033565368 citedByCount "24" @default.
- W2033565368 countsByYear W20335653682012 @default.
- W2033565368 countsByYear W20335653682014 @default.
- W2033565368 countsByYear W20335653682015 @default.
- W2033565368 countsByYear W20335653682016 @default.
- W2033565368 countsByYear W20335653682018 @default.
- W2033565368 countsByYear W20335653682019 @default.
- W2033565368 countsByYear W20335653682020 @default.
- W2033565368 countsByYear W20335653682021 @default.
- W2033565368 countsByYear W20335653682022 @default.
- W2033565368 countsByYear W20335653682023 @default.
- W2033565368 crossrefType "proceedings-article" @default.
- W2033565368 hasAuthorship W2033565368A5021339749 @default.
- W2033565368 hasAuthorship W2033565368A5060550690 @default.
- W2033565368 hasAuthorship W2033565368A5065276448 @default.
- W2033565368 hasConcept C111472728 @default.
- W2033565368 hasConcept C111919701 @default.
- W2033565368 hasConcept C113775141 @default.
- W2033565368 hasConcept C11413529 @default.
- W2033565368 hasConcept C119599485 @default.
- W2033565368 hasConcept C127413603 @default.
- W2033565368 hasConcept C131017901 @default.
- W2033565368 hasConcept C13280743 @default.
- W2033565368 hasConcept C134146338 @default.
- W2033565368 hasConcept C138885662 @default.
- W2033565368 hasConcept C141796577 @default.
- W2033565368 hasConcept C162324750 @default.
- W2033565368 hasConcept C185798385 @default.
- W2033565368 hasConcept C187075797 @default.
- W2033565368 hasConcept C187455244 @default.
- W2033565368 hasConcept C187736073 @default.
- W2033565368 hasConcept C189950617 @default.
- W2033565368 hasConcept C205649164 @default.
- W2033565368 hasConcept C2780451532 @default.
- W2033565368 hasConcept C2780873074 @default.
- W2033565368 hasConcept C41008148 @default.
- W2033565368 hasConcept C48103436 @default.
- W2033565368 hasConcept C530198007 @default.
- W2033565368 hasConcept C6943359 @default.
- W2033565368 hasConcept C80444323 @default.
- W2033565368 hasConcept C9390403 @default.
- W2033565368 hasConceptScore W2033565368C111472728 @default.
- W2033565368 hasConceptScore W2033565368C111919701 @default.
- W2033565368 hasConceptScore W2033565368C113775141 @default.
- W2033565368 hasConceptScore W2033565368C11413529 @default.
- W2033565368 hasConceptScore W2033565368C119599485 @default.
- W2033565368 hasConceptScore W2033565368C127413603 @default.
- W2033565368 hasConceptScore W2033565368C131017901 @default.
- W2033565368 hasConceptScore W2033565368C13280743 @default.
- W2033565368 hasConceptScore W2033565368C134146338 @default.
- W2033565368 hasConceptScore W2033565368C138885662 @default.
- W2033565368 hasConceptScore W2033565368C141796577 @default.
- W2033565368 hasConceptScore W2033565368C162324750 @default.
- W2033565368 hasConceptScore W2033565368C185798385 @default.
- W2033565368 hasConceptScore W2033565368C187075797 @default.
- W2033565368 hasConceptScore W2033565368C187455244 @default.
- W2033565368 hasConceptScore W2033565368C187736073 @default.
- W2033565368 hasConceptScore W2033565368C189950617 @default.
- W2033565368 hasConceptScore W2033565368C205649164 @default.
- W2033565368 hasConceptScore W2033565368C2780451532 @default.
- W2033565368 hasConceptScore W2033565368C2780873074 @default.
- W2033565368 hasConceptScore W2033565368C41008148 @default.
- W2033565368 hasConceptScore W2033565368C48103436 @default.
- W2033565368 hasConceptScore W2033565368C530198007 @default.
- W2033565368 hasConceptScore W2033565368C6943359 @default.
- W2033565368 hasConceptScore W2033565368C80444323 @default.
- W2033565368 hasConceptScore W2033565368C9390403 @default.
- W2033565368 hasLocation W20335653681 @default.