東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Towards Provably Secure Logic Lockin...

Yasin, Muhammad.

Linked to FindBook

Google Book

Amazon

博客來

Towards Provably Secure Logic Locking for Hardening Hardware Security.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Towards Provably Secure Logic Locking for Hardening Hardware Security./
Author:	Yasin, Muhammad.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2018,
Description:	270 p.
Notes:	Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.
Contained By:	Dissertation Abstracts International79-09B(E).
Subject:	Electrical engineering. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10813982
ISBN:	9780355991857

Towards Provably Secure Logic Locking for Hardening Hardware Security.
Yasin, Muhammad.

Towards Provably Secure Logic Locking for Hardening Hardware Security. - Ann Arbor : ProQuest Dissertations & Theses, 2018 - 270 p.

Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.

Thesis (Ph.D.)--New York University Tandon School of Engineering, 2018.

Economic concerns have led to the globalization of the integrated circuit (IC) design flow, and in turn, rendered ICs susceptible to attacks including counterfeiting, intellectual property (IP) piracy through reverse engineering, overbuilding, and hardware Trojans. Many countermeasures including watermarking, IC camouflaging, split manufacturing, and logic locking have been developed to thwart these attacks, with most focusing on specific attack scenarios and lacking formal proofs of security.

ISBN: 9780355991857Subjects--Topical Terms:

649834
Electrical engineering.

Towards Provably Secure Logic Locking for Hardening Hardware Security.
LDR:02385nmm a2200325 4500 001 2199981
005 20181210125246.5
008 201008s2018 ||||||||||||||||| ||eng d
020 $a 9780355991857
035 $a (MiAaPQ)AAI10813982
035 $a (MiAaPQ)poly:10388
035 $a AAI10813982
040 $a MiAaPQ $c MiAaPQ
100 1 $a Yasin, Muhammad. $3 3426729
245 1 0 $a Towards Provably Secure Logic Locking for Hardening Hardware Security.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2018
300 $a 270 p.
500 $a Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.
500 $a Adviser: Ozgur Sinanoglu.
502 $a Thesis (Ph.D.)--New York University Tandon School of Engineering, 2018.
520 $a Economic concerns have led to the globalization of the integrated circuit (IC) design flow, and in turn, rendered ICs susceptible to attacks including counterfeiting, intellectual property (IP) piracy through reverse engineering, overbuilding, and hardware Trojans. Many countermeasures including watermarking, IC camouflaging, split manufacturing, and logic locking have been developed to thwart these attacks, with most focusing on specific attack scenarios and lacking formal proofs of security.
520 $a Among the proposed countermeasures, logic locking has emerged as a versatile and easy-to-integrate solution that assumes only a designer to be trusted. Logic locking protects a design with a secret key; only upon activation with the correct key, the design is functional. A considerable challenge, however, is that all traditional logic locking techniques are susceptible to powerful SAT attacks that leverage Boolean satisfiability to refine the key search space quickly.
520 $a This thesis aims to develop provably-secure and cost-effective logic locking algorithms that offer holistic security against all attacks, can be integrated with the existing EDA tools, and can adapt to the changing business and threat models. The thesis presents theoretical proofs of security as well as the experimental results for the first logic-locked chip fabricated using Global Foundries 65nm LPe technology.
590 $a School code: 1988.
650 4 $a Electrical engineering. $3 649834
650 4 $a Computer engineering. $3 621879
690 $a 0544
690 $a 0464
710 2 $a New York University Tandon School of Engineering. $b Electrical and Computer Engineering. $3 3350298
773 0 $t Dissertation Abstracts International $g 79-09B(E).
790 $a 1988
791 $a Ph.D.
792 $a 2018
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10813982