Hardware IP Protection - GitHub Pages

33
Hardware IP Protection Yu Bi ELE594 Special Topic on Hardware Security & Trust University of Rhode Island

Transcript of Hardware IP Protection - GitHub Pages

Page 1: Hardware IP Protection - GitHub Pages

Hardware IP Protection

Yu Bi

ELE594 – Special Topic on Hardware Security & Trust

University of Rhode Island

Page 2: Hardware IP Protection - GitHub Pages

Globalization of IC Supply Chain

2

Page 3: Hardware IP Protection - GitHub Pages

Security Vulnerabilities and Trust Issues

3

Page 4: Hardware IP Protection - GitHub Pages

Security Vulnerabilities and Trust Issues

4

Page 5: Hardware IP Protection - GitHub Pages

Logic Locking (LL)

5

Page 6: Hardware IP Protection - GitHub Pages

Logic Locking

6

The circuit produces correct output only

when the correct key is supplied.

Page 7: Hardware IP Protection - GitHub Pages

Logic Locking Techniques

7

Page 8: Hardware IP Protection - GitHub Pages

Evolution of Logic Locking

8

Page 9: Hardware IP Protection - GitHub Pages

Attacks on Logic Locking

9

Page 10: Hardware IP Protection - GitHub Pages

Attacks on Logic Locking

10

Page 11: Hardware IP Protection - GitHub Pages

Fault Analysis-based LL

11

Page 12: Hardware IP Protection - GitHub Pages

Attack 1: Sensitization Attack

12

Page 13: Hardware IP Protection - GitHub Pages

Sensitization Attack: Example

13

Page 14: Hardware IP Protection - GitHub Pages

Solution: Strong Logic Locking (SLL)

14

Page 15: Hardware IP Protection - GitHub Pages

SLL

15

Page 16: Hardware IP Protection - GitHub Pages

SLL Results: Clique Size

16

Page 17: Hardware IP Protection - GitHub Pages

Attacks on Logic Locking

17

Page 18: Hardware IP Protection - GitHub Pages

Attack 2: SAT Attack

18

Page 19: Hardware IP Protection - GitHub Pages

SAT Attack: Distinguishing Ability

19

Page 20: Hardware IP Protection - GitHub Pages

SAT Attack: Experimental Results

20

Page 21: Hardware IP Protection - GitHub Pages

Thwarting SAT Attack

21

Page 22: Hardware IP Protection - GitHub Pages

Solution 1: SARLock

22# of DIPs = 2k-1

Page 23: Hardware IP Protection - GitHub Pages

SARLock: Experimental Results

23

Page 24: Hardware IP Protection - GitHub Pages

SARLock: Experimental Results

24

Page 25: Hardware IP Protection - GitHub Pages

Solution 2: Anti-SAT

25

Page 26: Hardware IP Protection - GitHub Pages

Anti-SAT: SAT Attack Resilience

26

Page 27: Hardware IP Protection - GitHub Pages

Anti-SAT: Generic Functions

27

Page 28: Hardware IP Protection - GitHub Pages

Attack 3: SPS Attack

28

Page 29: Hardware IP Protection - GitHub Pages

SPS Attack: Operation

29

Page 30: Hardware IP Protection - GitHub Pages

SPS Attack Results: Impact of Key Size

30

Page 31: Hardware IP Protection - GitHub Pages

Functional Obfuscation

31

Page 32: Hardware IP Protection - GitHub Pages

SPS Attack Results: Obfuscation

32

Page 33: Hardware IP Protection - GitHub Pages

Other IP Protection

33