LEADER 03383nam 22005655 450 001 9910366598103321 005 20200706004327.0 010 $a3-030-15334-7 024 7 $a10.1007/978-3-030-15334-2 035 $a(CKB)4100000009184563 035 $a(DE-He213)978-3-030-15334-2 035 $a(MiAaPQ)EBC5891176 035 $a(PPN)258855460 035 $a(EXLCZ)994100000009184563 100 $a20190904d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTrustworthy Hardware Design: Combinational Logic Locking Techniques /$fby Muhammad Yasin, Jeyavijayan (JV) Rajendran, Ozgur Sinanoglu 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XXI, 142 p. 65 illus., 58 illus. in color.) 225 1 $aAnalog Circuits and Signal Processing,$x1872-082X 311 $a3-030-15333-9 327 $aThe Need for Logic Locking -- A Brief History of Logic Locking -- Pre-SAT Logic Locking -- The SAT Attack -- Post-SAT 1: Point function-based Logic Locking -- Approximate Attacks -- Structural Attacks -- Post-SAT 2: Insertion of SAT-unresolvable Structures -- Post-SAT 3: Stripped-Functionality Logic Locking. 330 $aWith the popularity of hardware security research, several edited monograms have been published, which aim at summarizing the research in a particular field. Typically, each book chapter is a recompilation of one or more research papers, and the focus is on summarizing the state-of-the-art research. Different from the edited monograms, the chapters in this book are not re-compilations of research papers. The book follows a pedagogical approach. Each chapter has been planned to emphasize the fundamental principles behind the logic locking algorithms and relate concepts to each other using a systematization of knowledge approach. Furthermore, the authors of this book are in a good position to be able to deliver such a book, as they contributed to this field significantly through numerous fundamental papers. 410 0$aAnalog Circuits and Signal Processing,$x1872-082X 606 $aElectronic circuits 606 $aLogic design 606 $aComputer arithmetic and logic units 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aArithmetic and Logic Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I12026 615 0$aElectronic circuits. 615 0$aLogic design. 615 0$aComputer arithmetic and logic units. 615 14$aCircuits and Systems. 615 24$aLogic Design. 615 24$aArithmetic and Logic Structures. 676 $a621.3815 676 $a621.395 700 $aYasin$b Muhammad$4aut$4http://id.loc.gov/vocabulary/relators/aut$01063138 702 $aRajendran$b Jeyavijayan (JV)$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aSinanoglu$b Ozgur$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910366598103321 996 $aTrustworthy Hardware Design: Combinational Logic Locking Techniques$92530699 997 $aUNINA