engineering on-chip thermal attacks effects · 2020-01-22 · engineering on-chip thermal attacks...

30
Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia Tech) Zhimin Chen (ECE Dept, Virginia Tech) Dagstuhl July 2009

Upload: others

Post on 12-Apr-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Engineering On-Chip Thermal Attacks

Effects

Patrick Schaumont (ECE Dept, Virginia Tech)

Abhranil Maiti (ECE Dept, Virginia Tech)

Zhimin Chen (ECE Dept, Virginia Tech)

Dagstuhl July 2009

Page 2: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Outline

• Thermal Covert Channel Filtering

• On-chip heat generation and detection

• Optimized detection using DSP

• Thermally indifferent PUF

2

• Temperature Effects on PUF

• Mitigating Temperature Effects

• Area Optimized solution

• Measuring lots of (FPGA) chips ..

Page 3: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Covert Channel based on Heat

High SNR

3

Bandwidth ~ 0.0138 bps

Brouchier, Kean, Marsh, Naccache, "Thermocommunication," ePrint IACR 2009/002

Page 4: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

How covert can we make it?

• Temperature profile on an FPGA over 1 day

• On-chip temperature measurement

• We touched the FPGA package two times for a few seconds. Can you see when?

4

Page 5: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

How touching a package affects T

chip

HeatA

A B

HeatA TemperatureB

5

time

time

TemperatureB

sensor

touch

Pedram, Nazarian, "Thermal Modeling, Analysis, and Management in

VLSI Circuits: Principles and Methods," Proc. IEEE, August 2006

Page 6: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Can information be more covert?

• Detecting Temperature events on an FPGA

• SNR of 24-hour measurement is very poor

• The energy in the event of interest if very small

• But the event of interest may be band-limited !

6

Low SNR

Frequency

Spectrum

Noise Level

Event of interest

Page 7: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Our communications system

f f

Heat Source Heat Transfer FunctionTemperature

Sensor Detector

ring

osc D

7

• We need

• A good sensor: sensitive, high bandwidth

• A good detector

f fnoise

Page 8: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Bandwidth and Resolution of Sensors

8

Altet, Claeys, Dilhaire, Rubio, "Dynamic Surface Temperature Measurements in ICs," Proc. IEEE, August 2006.

Page 9: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Ring-oscillator based Thermal Sensor

• Sample a Free-running Ring Oscillator

Ts

Oscillation Frequency f Sample Frequency fs

9

enableclock

clear

q

counter

TemperatureSignal

Temperature

Page 10: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Ring-oscillator based Thermal Sensor

• How good is this structure in detecting temperature variations?

TemperatureSignal

Spectrum

10

• Detection bandwidth is limited by fs/2

• However, a high fs is not ideal either

–Processing load

• Digital RO cannot be alias-free

tTsfs 2fs f

Page 11: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Our communications system

f f

Heat Source Heat Transfer Function Temperature

Sensor Detector

ring

osc D

11

f fnoise

BPF(z)Threshold

Detector

Page 12: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Select band based on expected signal

12

We touched it! We didn't!

Tau ~ 20s

Page 13: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Select band based on expected signal

fs/2 f

RO SensorOutput

fm = 1/Tau

LPF(z) = 1 + z-1 + z-2 + .. + z-kfs = 3Hz

13

HPF(z) = 1 - 2 z-k + z-2k

f

RO SensorOutput

fm = 1/Tau

k = fs / 2 / fm

fs/2

fs = 3Hz

fm = 0.05Hz

k = 30

Picoblaze

(8-bit uC)

Page 14: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

After Filtering

We touched it! We didn't!

14

Page 15: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Remember

1. Suitable filtering based on DSP drastically increases sensitivity

2. Chip Temperature Sensors can have a high bandwidth (~MHz)

15

2. Chip Temperature Sensors can have a high bandwidth (~MHz)

(Open issue: how well can this be exploited with simple on-chip sensors?)or:(Can thermal sensors be used for side-channel analysis as well?)

Page 16: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Outline

• Thermal Covert Channel Filtering

• On-chip heat generation and detection

• Optimized detection using DSP

• Thermally indifferent PUF

16

• Temperature Effects on PUF

• Mitigating Temperature Effects

• Area Optimized solution

• Measuring lots of (FPGA) chips ..

Page 17: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

RO-based PUF

countR

17

control 2-of-6

count&

compare

C

R

How to deal with temperature effects?

Page 18: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Self-Heating

• Ensure RO's use low duty factor

18S. Lopez-Buedo et al, "Thermal Testing on Reconfigurable Computers," IEEE Design and Test, 4-11, Jan-Mar 2000.

Page 19: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Temperature Dependence

19S. Lopez-Buedo et al, "Thermal Testing on Reconfigurable Computers," IEEE Design and Test, Jan-Mar 2000.

Page 20: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Temperature Dependence

Unstable Pair

20S. Lopez-Buedo et al, "Thermal Testing on Reconfigurable Computers," IEEE Design and Test, Jan-Mar 2000.

Stable Pair

To generate stable signatures, PUF needs to use RO

pairs with large frequency difference

Page 21: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Brute-forcing stability

• Instead of comparing a pair of RO, consider a group of RO

• Use only the maximum or minimum f [Suh 2007]

• This reduces the useful C/R space

21

• In turn, this leads to larger PUFs (more RO's), higher cost

Page 22: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Compact, stable RO

• Configurable Ring Oscillator

1 1 1

22

1

0

1

0

1

0fROenable

Configuration {c0, ..., c7}

Page 23: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

8 RO for the price of one

• Configurable Ring Oscillator

• Fits in a single CLB, uses only local routing

• Reproducible macrocell

LUT1 LUT1

23

SLICE X0Y1 SLICE X1Y1

SLICE X0Y0 SLICE X1Y0

LUT1

LUT2

LUT1

LUT2

LUT1

LUT2

LUT1S

witch

Ma

trix

Page 24: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Selecting the Configuration

• Tuning:

a/ Apply each configuration {c0, .., c7} to A and B (this removes all dependencies on routing)

b/ Determine and store the A

24

b/ Determine and store the configuration g(A,B)=j for which maximum absolute frequency difference is obtained

• Usage:

Each time pair A, B is compared, select configuration j

A

B

Page 25: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

C/R Strategy for 128 RO

• Fixed C:

• Pairwise comparison of adjacent RO pairs

• Compensate for correlated effects

25

Page 26: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Measurements on 128-RO PUF

Unstable bits

Fixed Configurations (c0, .., c7)

25

30

35

40

45

26

Optimized

Configuration

0

5

10

15

20

Page 27: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Remember

1. Architecture Optimization can simultaneously address PUF stability and resource cost

2. Increasing PUF stability will simplify post-

27

2. Increasing PUF stability will simplify post-processing (helper data processing)

Page 28: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Outline

• Thermal Covert Channel Filtering

• On-chip heat generation and detection

• Optimized detection using DSP

• Thermally indifferent PUF

28

• Temperature Effects on PUF

• Mitigating Temperature Effects

• Area Optimized solution

• Measuring lots of (FPGA) chips ..

Page 29: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

Recent PUF work

• Hard to get PUF performance data for large populations (> 100 chips)

29

Page 30: Engineering On-Chip Thermal Attacks Effects · 2020-01-22 · Engineering On-Chip Thermal Attacks Effects Patrick Schaumont (ECE Dept, Virginia Tech) Abhranil Maiti (ECE Dept, Virginia

NSF Project

• Infrastructure to collect and analyze circuit variability in FPGAs

30

(+ 200 loose

XCV1000 FPGAs)