Yasin, Muhammad.
Trustworthy Hardware Design: Combinational Logic Locking Techniques [electronic resource] / by Muhammad Yasin, Jeyavijayan (JV) Rajendran, Ozgur Sinanoglu. - 1st ed. 2020. - XXI, 142 p. 65 illus., 58 illus. in color. online resource. - Analog Circuits and Signal Processing, 2197-1854 . - Analog Circuits and Signal Processing, .
The 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.
With 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.
9783030153342
10.1007/978-3-030-15334-2 doi
Electronic circuits.
Logic design.
Computer arithmetic and logic units.
Electronic Circuits and Systems.
Logic Design.
Arithmetic and Logic Structures.
TK7867-7867.5
621.3815
Trustworthy Hardware Design: Combinational Logic Locking Techniques [electronic resource] / by Muhammad Yasin, Jeyavijayan (JV) Rajendran, Ozgur Sinanoglu. - 1st ed. 2020. - XXI, 142 p. 65 illus., 58 illus. in color. online resource. - Analog Circuits and Signal Processing, 2197-1854 . - Analog Circuits and Signal Processing, .
The 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.
With 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.
9783030153342
10.1007/978-3-030-15334-2 doi
Electronic circuits.
Logic design.
Computer arithmetic and logic units.
Electronic Circuits and Systems.
Logic Design.
Arithmetic and Logic Structures.
TK7867-7867.5
621.3815