Information Security Theory vs. Reality

Size: px

Start display at page:

Download "Information Security Theory vs. Reality"

Arlene Harrell
5 years ago
Views:

1 Information Security Theory vs. Reality , Winter Lecture 6: Physical Side Channel Attacks on PCs Guest lecturer: Lev Pachmanov 1

2 Side channel attacks probing CPU architecture optical power 2 electromagnetic chassis potential acoustic

Traditional side channel attacks methodology 1.

clock rate, PC: >2GHz) 4. Obtain traces 5.

3 Traditional side channel attacks methodology 1. Grab/borrow/steal device 2. Find key-dependent instruction 3. Record emanations using high-bandwidth equipment (> clock rate, PC: >2GHz) 4. Obtain traces 5. Signal and cryptanalytic analysis 6. Recover key for i= sqr( ) if key[i]=1 mul( ) Hard for PCs 3

4 Traditional side channel attacks methodology 1. Grab/borrow/steal device 2. Find key-dependent instruction 3. Record emanations using high-bandwidth equipment (> clock rate, PC: >2GHz) 4. Obtain traces 5. Signal and cryptanalytic analysis 6. Recover key Hard for PCs 4

5 Traditional side channel attacks methodology 1. Grab/borrow/steal device 2. Find key-dependent instruction 3. Record emanations using high-bandwidth equipment (> clock rate, PC: >2GHz) 4. Obtain traces 5. Signal and cryptanalytic analysis 6. Recover key Complex electronics running complicated software Hard for (in PCs parallel) 5 vs. Not handed out vs. Measuring a 2GHz PC requires expansive and bulky equipment (compared to a 100 MHz smart card) 100,000$ vs. 1,000$

Our results Channels for attacking PCs 6 Ground

Acoustic Exploited via low-bandwidth cryptanalytic

Shamir Tromer 14] Non-adaptive attacks (1.

Pachmanov Pipman Tromer 15] Common cryptographic

6 Our results Channels for attacking PCs 6 Ground potential (chassis and others) Power Electromagnetic Acoustic Exploited via low-bandwidth cryptanalytic attacks Adaptive attack (50 khz bandwidth) [Genkin Shamir Tromer 14] Non-adaptive attacks (1.5 MHz bandwidth) [Genkin Pipman Tromer 14] [Genkin Pachmanov Pipman Tromer 15] Common cryptographic software GnuPG (CVE , , ) RSA and ElGamal, various implementations Worked with GnuPG developers to mitigate the attacks Applicable to various laptop models

7 7 Chassis-potential channel

(Bypass capacitors, RF shields, ) Device is grounded, but its ground potential fluctuates

8 Ground-potential analysis Attenuating EMI emanations Unwanted currents or electromagnetic fields? Dump them to the circuit ground! (Bypass capacitors, RF shields, ) Device is grounded, but its ground potential fluctuates relative to the mains earth ground. affects dumped to connected to Computation currents and EM fields device ground conductive chassis Key =

9 Connecting to the chassis 9

10 Demo: distinguishing instructions Key =

11 Distinguishing various CPU operations 11 frequency (2-2.3 MHz) time (10 sec)

12 12 Low-bandwidth leakage of RSA

13 13 Definitions (RSA) Key setup sk: random primes pp, qq, private exponent dd pk: nn = pppp, public exponent ee Encryption cc = mm ee mod nn Decryption mm = cc dd mod nn A quicker way used by most implementations mm pp = cc dd pp mod pp mm qq = cc dd qq mod qq Obtain mm using Chinese Remainder Theorem

GnuPG RSA key distinguishability 14 frequency (1.9-2.4 MHz) time (0.

14 GnuPG RSA key distinguishability 14 frequency ( MHz) time (0.8 sec) mod pp mod qq Can distinguish between: 1. Decryptions and other operations 2. Two exponentiations (mod pp, mod qq) 3. Different keys 4. Different primes

15 15 Key extraction

16 GnuPG modular exponentiation modular_exponentiation(c,d,p){ m=1 for i=n to 1 do m = m 2 mod p t = m*c mod p //always mult if d[i]==1 then m=t return m m = cc dd nn dd ii+1 mmmmmm pp m = cc dd nn dd ii+1 0 mmmmmm pp tt = cc dd nn dd ii+1 1 mmmmmm pp m = cc dd nn dd ii mmmmmm pp Q: Why always compute tt mm cc then conditionally copy? A: This is a side channel countermeasure meant to protect dd 16 } no key dependent operation to measure

$modular_exponentiation(c,d,p){ m=1 for i=n to 1$

17 GnuPG modular exponentiation 17 modular_exponentiation(c,d,p){ m=1 for i=n to 1 do m = m 2 mod p t = m*c mod p //always mult } if d[i]==1 then m=t return m 2GHz CPU speed vs. 1.5MHz measurements can only see drastic changes inside squaring operation mm depends on both dd[ii] and cc Idea: leakage self-amplification abuse algorithm s own code to amplify its own leakage! 1. Craft suitable cipher-text to affect the inner-most loop 2. Small differences in repeated inner-most loops cause a big overall difference in code behavior mm is squard in next iteration of the main loop craft cc to affect the squaring in the next loop iteration, based on dd[ii] measure changes inside squaring operation and obtain dd[ii]

18 Non-adaptive key extraction (similar to [Yen, Lien, Moon and Ha 05]) 18 modular_exponentiation(c,d,p){ } m=1 for i=n to 1 do m = m 2 mod p t = m*c mod p //always mult if d[i]==1 then ±1 m=t return m mm ±1 Many zeros or random looking, based on dd[ii] karatsuba_sqr( m ){ } 0/$ basic_sqr( x ) basic_sqr( x ){ if( x[j]==0) y = 0 else y = x[j]*x } cc 1 (mod pp) mm 1 (mod pp) tt 1 (mod pp) If dd ii == 11 then mm 1 (mod pp) so bits of mm are random. If dd ii == 00 then mmmm 1(mod pp) so bits of mm have many zeros. x7 x27 repeated 189 times per bit of dd ~0.2ms of measurement per bit of dd

19 A chosen ciphertext attack 19 Non-adaptive ciphertext choice cc 1 mod pp (similar to [YLMH05]): RSA: cc = NN 1 ElGamal: cc = pp 1 Overall attack performance: Algorithm Attack type # ciphertexts Time BW Cipher Ref Sqr-andalways-mlt Non-adaptive chosen ciphertext 1 3 sec 2 MHz ElGamal, RSA [GPT14]

20 A chosen ciphertext attack 20 Non-adaptive ciphertext choice cc 1 mod pp (similar to [YLMH05]): RSA: cc = NN 1 ElGamal: cc = pp 1 Overall attack performance: Algorithm Attack type # ciphertexts Time BW Cipher Ref Sqr-andalways-mlt Sliding / fixed window Non-adaptive chosen ciphertext Non-adaptive chosen ciphertext 1 3 sec 2 MHz ElGamal, RSA 2 ww 1 (usually 8 or 16) 30 sec 2 MHz ElGamal, RSA [GPT14] [GPPT15]

21 A chosen ciphertext attack 21 Non-adaptive ciphertext choice cc 1 mod pp (similar to [YLMH05]): RSA: cc = NN 1 ElGamal: cc = pp 1 Overall attack performance: Algorithm Attack type # ciphertexts Time BW Cipher Ref Sqr-andalways-mlt Sliding / fixed window Non-adaptive chosen ciphertext Non-adaptive chosen ciphertext 1 3 sec 2 MHz ElGamal, RSA 2 ww 1 (usually 8 or 16) 30 sec 2 MHz ElGamal, RSA [GPT14] [GPPT15] Sqr-andalways-mlt Adaptive chosen ciphertext KKKKKK ssssssss 4 1 hour 50 khz RSA [GST14]

ciphertext 1 3 sec 2 MHz ElGamal, RSA 2 ww 1 (usually 8 or 16) 30 sec 2 MHz ElGamal, RSA [GPT14] [GPPT15] Sqr-andalways-mlt Adaptive chosen ciphertext

22 A chosen ciphertext attack Non-adaptive ciphertext choice cc 1 mod pp (similar to [YLMH05]): RSA: cc = NN 1 ElGamal: cc = pp 1 Overall attack performance: Algorithm Attack type # ciphertexts Time BW Cipher Ref Sqr-andalways-mlt Sliding / fixed window Non-adaptive chosen ciphertext Non-adaptive chosen ciphertext 1 3 sec 2 MHz ElGamal, RSA 2 ww 1 (usually 8 or 16) 30 sec 2 MHz ElGamal, RSA [GPT14] [GPPT15] Sqr-andalways-mlt Adaptive chosen ciphertext KKKKKK ssssssss 4 1 hour 50 khz RSA [GST14] 22 Ciphertext injection Send chosen ciphertexts via (PGP/MIME). Decrypted by client (e.g., Enigmail) automatically.

23 23 Empirical results: ground-potential attacks

24 24 Demo: RSA key extraction from chassis potential

25 Reading the secret key (non-adaptive attack) 25 carrier FM-modulated key due to squaring of a random-looking / mostly zero limb value of mm Key =

26 Reading the secret key (non-adaptive attack) Acquire trace Filter around carrier (1.7 MHz) FM demodulation Read out bits ( simple ground analysis ) interrupt 26

27 RSA and ElGamal key extraction in a few seconds using human touch (non-adaptive attack) 27 Key =

28 Ground-potential analysis Attenuating EMI emanations Unwanted currents or electromagnetic fields? Dump them to the circuit ground! (Bypass capacitors, RF shields, ) Device is grounded, but its ground potential fluctuates relative to the mains earth ground. affects dumped to connected to Computation currents and EM fields device ground conductive chassis 28

(Bypass capacitors, RF shields, ) Device is grounded, but its ground potential fluctuates relative to the

29 Ground-potential analysis Attenuating EMI emanations Unwanted currents or electromagnetic fields? Dump them to the circuit ground! (Bypass capacitors, RF shields, ) Device is grounded, but its ground potential fluctuates relative to the mains earth ground. affects dumped to connected to connected to Key = Computation currents and EM fields device ground conductive chassis Even when no data, or shielded cables port is turned off. 29

30 RSA and ElGamal key extraction in a few seconds using the far end of 10 meter network cable 30 works even if a firewall is present, or port is turned off key=

31 31 Empirical results: electromagnetic attacks

32 Electromagnetic key extraction Currents inside the target create electromagnetic waves. Can be detected using an electromagnetic probe (e.g., a loop of cable). target attacker 32

33 33 Portable Instrument for Trace Acquisition Cost to build: ~300$

34 Key extraction via commodity radio receiver 34

35 35 Acoustic cryptanalysis

36 Acoustic emanations from PCs 36 Noisy electrical components in the voltage regulator Bzzzzzz Commonly known as coil-whine but also originates from capacitors

37 Experimental setup (example) 37 attacker amplifier microphone target digitizer

38 Adaptive key extraction Severe attenuation of high frequency signals. Effective bandwidth of 50 khz Cannot observe a single squaring Make the entire decryption depend on a single attacked bit Extreme version of self-amplification Extract the prime qq bit-by-bit (adaptive chosen ciphertext) Total #measurements: 2048 decryptions for RSA-4096 (~1 hour) 38

39 39 An adaptive chosen-ciphertext attack qq = 11?????? qq cc = qq = 110????? qq = 1??????? cc = Bit-distinguisher oracle cc = iiii cc > qq 1 iiii cc qq

..... 111 1 Just q Coppersmith lattice reduction: half the bits

40 An adaptive chosen-ciphertext attack Total #measurements: KKKKKK ssssssss Error correction Bit distinguisher oracle cc = Just q Coppersmith lattice reduction: half the bits suffice Overall: 2048 decryptions for RSA-4096 (~1 hour) 0 iiii cc > qq 1 iiii cc qq 40

41 GnuPG RSA decryption - mm qq = cc dd qq mmmmmm qq 41 modular_exponentiation(c,d,q){ karatsuba_mult(m,c) } karatsuba_mult(m,c){ basic_mult(x,y) } basic_mult(x,y){ if (y[j]==0) return 0 else return y[j]*x } x7 Grand total: times ~0.5 sec of measurements x19 x2048 craft c such that qq ii = 1 yy[jj] = 0 qq ii = 0 yy jj 0 (for most jj s)

42 Extracting qq ii (simplified) cc ii = qq 2048 qq ii If qq ii = 11 then cc ii < qq, thus cc = cc ii. That is, cc has special structure. If qq ii = 00 then 2q > cc ii > qq, thus cc = cc ii qq. That is, cc is random looking. and we now multiply by cc causing the bit-dependent leakage. 42

43 Extracting qq ii cc ii = qq 2048 qq ii nn If qq ii = 11 then cc ii nn < qq, thus cc = cc ii nn. That is, cc has special structure. If qq ii = 00 then 2q > cc ii nn > qq, thus cc = cc ii qq nn. That is, cc is random looking. and we now multiply by cc causing the bit-dependent leakage. 43

44 Extracting qq ii (problem) 44 Multiplication is repeated 2048 times (0.5 sec of data) Single multiplication is way too fast for us to measure

45 45 Empirical results: acoustic attacks

46 Distinguishing a key bit by a spectral signature 46 frequency frequency mod p mod p time time mod q mod q

47 47 Demo: key extraction

48 Acoustic: results 48 RSA 4096-bit key extraction from 1 meter away using a microphone

49 Acoustic: results RSA 4096-bit key extraction from 10 meters away using a parabolic microphone 49

50 Acoustic: results 50 RSA 4096-bit key extraction from 30cm away using a smartphone

51 51 Countermeasures

52 Countermeasures Common suggestions 1. Shielding EM (Faraday cages), ground difficult and expensive Acoustic? Vents! 2. Add analog noise (expensive, correlations remain) 3. Parallel software load (inadequate, may help attacker) Attacks rely on decryption of chosen ciphertexts. Solution: ciphertext randomization use equivalent but random-looking ciphertexts Negligible slowdown for RSA x2 slowdown for ElGamal 52

53 53 Effective countermeasure: ciphertext randomization (added in GnuPG ) Given a ciphertext cc: 1. Generate a random number rr and compute rr ee 2. Decrypt rr ee cc and obtain mmm 3. Output mm rr 1 Works since eeee = 1 mmmmmm φφ(nn) thus: rr ee cc dd rr 1 mmmmmm nn = rr eeee rr 1 cc dd mmmmmm nn = rr rr 1 cc dd mmmmmm nn = cc dd mmmmmm nn = mm

54 tau.ac.il/~tromer/acoustic CRYPTO 14 CVE tau.ac.il/~tromer/handsoff CHES 14 CVE tau.ac.il/~tromer/radioexp CHES 15 CVE

אני יודע מה עשית בפענוח האחרון: התקפות ערוצי צד על מחשבים אישיים

אני יודע מה עשית בפענוח האחרון: התקפות ערוצי צד על מחשבים אישיים I Know What You Did Last Decryption: Side Channel Attacks on PCs Lev Pachmanov Tel Aviv University Daniel Genkin Technion and Tel Aviv University