FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2541018521> ?p ?o ?g. }

• W2541018521 abstract "Globalization of semiconductor design and manufacturing has led to a concern of trust in the final product. The effect of any modifications made by an adversary can be catastrophic in critical applications. Because of the stealthy nature of such insertions, it is extremely difficult to detect them using traditional testing and verification methods. In this paper, we propose a novel technique for detection of malicious alteration(s) in a third party soft intellectual property (IP) using a clever combination of sequential equivalence checking (SEC) and test generation. The use of powerful inductive invariants can prune a large illegal state space, and test generation helps to provide a sensitization path for nodes of interest. Results for a set of hard-to-verify designs show that our method can either ensure that the suspect design is free from the functional effect of any malicious change(s) or return a small group of most likely malicious signals." @default.
• W2541018521 created "2016-11-04" @default.
• W2541018521 creator A5006221821 @default.
• W2541018521 creator A5039720968 @default.
• W2541018521 date "2012-11-01" @default.
• W2541018521 modified "2023-09-27" @default.
• W2541018521 title "Ensuring trust of third-party hardware design with constrained sequential equivalence checking" @default.
• W2541018521 cites W1481957875 @default.
• W2541018521 cites W1495266209 @default.
• W2541018521 cites W1787074469 @default.
• W2541018521 cites W1970948544 @default.
• W2541018521 cites W1975359679 @default.
• W2541018521 cites W1992787530 @default.
• W2541018521 cites W1994870682 @default.
• W2541018521 cites W2012032225 @default.
• W2541018521 cites W2033565368 @default.
• W2541018521 cites W2036265926 @default.
• W2541018521 cites W2050351395 @default.
• W2541018521 cites W2056189911 @default.
• W2541018521 cites W2057361103 @default.
• W2541018521 cites W2060090911 @default.
• W2541018521 cites W2070402310 @default.
• W2541018521 cites W2073203474 @default.
• W2541018521 cites W2078396904 @default.
• W2541018521 cites W2098536553 @default.
• W2541018521 cites W2101159578 @default.
• W2541018521 cites W2103196322 @default.
• W2541018521 cites W2106366482 @default.
• W2541018521 cites W2112995947 @default.
• W2541018521 cites W2115780004 @default.
• W2541018521 cites W2116374153 @default.
• W2541018521 cites W2119964970 @default.
• W2541018521 cites W2121750555 @default.
• W2541018521 cites W2122185511 @default.
• W2541018521 cites W2122509673 @default.
• W2541018521 cites W2128829999 @default.
• W2541018521 cites W2135211381 @default.
• W2541018521 cites W2139087086 @default.
• W2541018521 cites W2139891486 @default.
• W2541018521 cites W2142009725 @default.
• W2541018521 cites W2145937629 @default.
• W2541018521 cites W2150928734 @default.
• W2541018521 cites W2151398141 @default.
• W2541018521 cites W2155843186 @default.
• W2541018521 cites W2156661714 @default.
• W2541018521 cites W2160920101 @default.
• W2541018521 cites W2161998562 @default.
• W2541018521 cites W2162730329 @default.
• W2541018521 cites W2164808307 @default.
• W2541018521 cites W2167878901 @default.
• W2541018521 doi "https://doi.org/10.1109/ths.2012.6459818" @default.
• W2541018521 hasPublicationYear "2012" @default.
• W2541018521 type Work @default.
• W2541018521 sameAs 2541018521 @default.
• W2541018521 citedByCount "6" @default.
• W2541018521 countsByYear W25410185212014 @default.
• W2541018521 countsByYear W25410185212016 @default.
• W2541018521 countsByYear W25410185212019 @default.
• W2541018521 countsByYear W25410185212021 @default.
• W2541018521 crossrefType "proceedings-article" @default.
• W2541018521 hasAuthorship W2541018521A5006221821 @default.
• W2541018521 hasAuthorship W2541018521A5039720968 @default.
• W2541018521 hasBestOaLocation W25410185212 @default.
• W2541018521 hasConcept C108827166 @default.
• W2541018521 hasConcept C110251889 @default.
• W2541018521 hasConcept C111498074 @default.
• W2541018521 hasConcept C138885662 @default.
• W2541018521 hasConcept C17744445 @default.
• W2541018521 hasConcept C199539241 @default.
• W2541018521 hasConcept C2777735758 @default.
• W2541018521 hasConcept C2778223634 @default.
• W2541018521 hasConcept C2780069185 @default.
• W2541018521 hasConcept C2983583741 @default.
• W2541018521 hasConcept C31258907 @default.
• W2541018521 hasConcept C38652104 @default.
• W2541018521 hasConcept C41008148 @default.
• W2541018521 hasConcept C41065033 @default.
• W2541018521 hasConcept C41895202 @default.
• W2541018521 hasConcept C80444323 @default.
• W2541018521 hasConcept C96654402 @default.
• W2541018521 hasConceptScore W2541018521C108827166 @default.
• W2541018521 hasConceptScore W2541018521C110251889 @default.
• W2541018521 hasConceptScore W2541018521C111498074 @default.
• W2541018521 hasConceptScore W2541018521C138885662 @default.
• W2541018521 hasConceptScore W2541018521C17744445 @default.
• W2541018521 hasConceptScore W2541018521C199539241 @default.
• W2541018521 hasConceptScore W2541018521C2777735758 @default.
• W2541018521 hasConceptScore W2541018521C2778223634 @default.
• W2541018521 hasConceptScore W2541018521C2780069185 @default.
• W2541018521 hasConceptScore W2541018521C2983583741 @default.
• W2541018521 hasConceptScore W2541018521C31258907 @default.
• W2541018521 hasConceptScore W2541018521C38652104 @default.
• W2541018521 hasConceptScore W2541018521C41008148 @default.
• W2541018521 hasConceptScore W2541018521C41065033 @default.
• W2541018521 hasConceptScore W2541018521C41895202 @default.
• W2541018521 hasConceptScore W2541018521C80444323 @default.
• W2541018521 hasConceptScore W2541018521C96654402 @default.
• W2541018521 hasLocation W25410185211 @default.
• W2541018521 hasLocation W25410185212 @default.
• W2541018521 hasOpenAccess W2541018521 @default.

• next