1 / 40

David Evans cs.virginia/~evans

Lecture 9: Security of RSA THE MAGIC WORDS ARE SQUEAMISH OSSIFRAGE.

Download Presentation

David Evans cs.virginia/~evans

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Lecture 9: Security of RSA THE MAGIC WORDS ARE SQUEAMISH OSSIFRAGE. Because both the system’s privacy and the security of digital money depend on encryption, a breakthrough in mathematics or computer science that defeats the cryptographic system could be a disaster. The obvious mathematical breakthrough would be development of an easy way to factor large prime numbers. Any person or organization possessing this power could counterfeit money, penetrate any personal, corporate, or government file, and possibly even undermine the security of nations. Bill Gates, The Road Ahead David Evans http://www.cs.virginia.edu/~evans CS588: Security and Privacy University of Virginia Computer Science

  2. Menu • Finding Big Pseudo Primes • Security of RSA • Factoring University of Virginia CS 588

  3. Properties of E and D Trap-door one way function: • D (E (M)) = M • E and D are easy to compute. • Revealing E doesn’t reveal an easy way to compute D Trap-door one way permutation: also • E (D (M)) = M  University of Virginia CS 588

  4. Property 2: Easy to Compute • We need large “random” primes p and q • Are there enough primes? • How can we find them? University of Virginia CS 588

  5. How many prime numbers? • Infinite (proved by Euclid, 300BC) • Proof by contradiction: Suppose that there exist only finitely many primes p1 < p2 < ... < pr. Let N = (p1)(p2)...(pr) + 1 N>pr so it is composite, N = p * M If p = pi for some 1…r, then, N = pi * M = pi * (p1)(p2)...(pi-1) (pi+1)...(pr) + 1 pi (M - (p1)(p2)...(pi-1) (pi+1)...(pr)) = 1 Contradiction: pi > 1 Hence, there must be infinitely many primes. University of Virginia CS 588

  6. Density of Primes (x) is the number of primes  x From http://www.utm.edu/research/primes/howmany.shtml University of Virginia CS 588

  7. Approximating (x) • The Prime Number Theorem: (x) ~ x/lnx • Difficult to prove (first conjectured by Legendre in 1798 by looking at table of values) • How many guesses to find a prime bigger than x? • About ln x/2 guesses • (Naïvely) Each guess requires sqrt(x) work • For 200 digits: 230 guesses * 10100 • More work than breaking 3DES! University of Virginia CS 588

  8. Need a faster prime test • There are several fast probabilistic prime tests • Can quickly test a prime with high probability, with a small amount of work • If we pick a non-prime, its not a disaster (exercise for reader, will be on PS3) University of Virginia CS 588

  9. Fermat Test • Recall Fermat’s Little Theorem: If n is prime and a is not divisible by n then an-11mod n • Prove n is composite by finding an-11mod n • Showing an-11mod n does not prove it is prime • But if it holds for many a’s it is likely than n is prime • Holds for all a’s for some non-primes known as Carmichael Numbers: 561, 645, 1105, …) • Better prime test: Miller-Rabin • Probability n is prime  1 – ¼k University of Virginia CS 588

  10. Properties of E and D Trap-door one way function: • D (E (M)) = M • E and D are easy to compute. • Revealing E doesn’t reveal an easy way to compute D Trap-door one way permutation: also • E (D (M)) = M   University of Virginia CS 588

  11. Property 4: E (D (M)) = M D(M) = Md mod n E(D(M)) = (Md mod n)e mod n = Mde mod n = Med mod n = M (from the property 1 proof) University of Virginia CS 588

  12. Properties of E and D Trap-door one way function: • D (E (M)) = M • E and D are easy to compute. • Revealing E doesn’t reveal an easy way to compute D Trap-door one way permutation: also • E (D (M)) = M    Are there other functions that have properties 1, 2 and 4? University of Virginia CS 588

  13. RSA E(M) = Me mod n D(C) = Cd mod n n = pq p, q are prime d is relatively prime to(p – 1)(q – 1) ed  1 (mod (p – 1)(q – 1)) University of Virginia CS 588

  14. Revealing E doesn’t reveal D • Revealing E: e, n. • Can attacker find D? • If attacker factors n = p * q ed  1 mod (p – 1)(q – 1) Easy to find d  e-1 mod (p – 1)(q – 1) • Use experience to argue factoring is hard. • Argue all other attacks are at least as hard as factoring n. University of Virginia CS 588

  15. Gardner’s Column: Original RSA challenge ($100) n (RSA-129) = 1 1438 1625 7578 8886 7669 2357 7997 6146 6120 1021 8296 7212 4236 2562 5618 4293 5706 9352 4573 3897 8305 9712 3563 9587 0505 8989 0751 4759 9290 0268 7954 3541 e = 9007 C = 9686 9613 7546 2206 1477 1409 2225 4355 8829 0575 9991 1245 7431 9874 6951 2093 0816 2982 2514 5708 3569 3147 6622 8839 8962 8013 3919 9055 1829 9451 5781 5154 Scientific American, August 1977 University of Virginia CS 588

  16. 40000000000000000  17 Ron Rivest (1977): factoring n (129 digits) would require at least 40 quadrillion years if you could do a * b mod c in one nanosecond. Derek Atkins (April 1994): We are happy to announce that RSA-129 = 3490 5295 1084 7650 9491 4784 9619 9038 9813 3417 7646 3849 3387 8439 9082 0577 * 3 2769 1329 9326 6709 5499 6198 8190 8344 6141 3177 6429 6799 2942 5397 9828 8533 University of Virginia CS 588

  17. Trial and Error Factoring • Guess x, if 1 < gcd (x, n) < n then x is an interesting factor • If p and q are similar size, lowest factor is around n. • Requires O(n) divisions. • For RSA-129 = 1.1 * 1064 divisions, 1 per nanosecond = 3.4 * 1047 years University of Virginia CS 588

  18. Pollard’s Rho Method • Fastest known in 1977 [Pollard75] • To find factor p, requires 4p modular multiplies • Worst case: lowest p is n, we need 4n multiplies • For RSA-129 = 1.3 * 1032 = 4 * 1015 years • Rivest probably used this, but made a math error (4 quadrilllion  40 quadrilllion) University of Virginia CS 588

  19. How so Fast • Better factoring algorithms • Distributed computation • Still can’t do a * b mod c in one nanosecond (not faster processors) • 1ns = 10-9 s • Best Pentium 4 today: 2 GHz (cycle = .5ns) • But, multiplying 100 digit numbers takes many cycles University of Virginia CS 588

  20. Fermat Factoring • Factor 8051 • Hint: (½ (a + b))2 – (½(a – b))2 = ¼ (a2 + 2ab+ b2) - ¼ (a2 - 2ab+ b2) = ½ ab+½ ab = ab • 8051 = 8100 – 49 = 902 –72 • 8051 = 97  83 ½ (83 + 97) = 90 ½ (83 – 97) = 7 University of Virginia CS 588

  21. Fermat Factoring • Any odd composite integer can be written as n =u2 -v2 • To factor n, start looking for u and v around n • Is this less work than trial and error division? • No, only in lucky cases where factor is near n University of Virginia CS 588

  22. Kraitchik’s Enhancement • Instead of looking for u and v such that n =u2 -v2 look for any multiple of n: n = (u2 -v2)k or: u2 v2 mod n • Some solutions uninteresting: uv mod n • Others (½) are interesting: uv mod n n divides u2 -v2 = (u–v) (u+v) but not (u–v) or (u+v) gcd (u – v, n) and gcd (u + v, n) are factors of n University of Virginia CS 588

  23. Kraitchik, cont. For x’s near n Q(x) = x2 – n Try to find x’s where: Q(x1) Q(x2) …Q(xk) = v2 x1x2 …xk = u Then, x12x22 …xk2 = u2  (x12 – n) … (xk2 – n) mod n  v2 mod n But, how do we find the x’s? University of Virginia CS 588

  24. Finding the x’s • Some of the Q(x)’s are easy to factor • From these, find products that are squares n = 2041 462 = 2116 Q(46) = 75 = 3  52 Q(47) = 168 = 23 3  7 Q(48) = 263 (hard to factor) Q(49) = 360 = 23  32  5 Q(50) = 459 = 33 17 Q(51) = 560 = 24  5 7 Q(46) Q(47) Q(49) Q(51) = 23+3+4  34  54  72 = (25  32  52  7)2 Looking for: Q(x1) Q(x2) …Q(xk) = v2 x1x2 …xk = u Example from [Pomerance96] University of Virginia CS 588

  25. Finding the Factors Q(46) Q(47) Q(49) Q(51) = (25  32  52  7)2  v2 u = 46  47  49  51 = 311 mod 2041 v = 25  32  52  7 = 1416 mod 2041 u2 = v2 mod 2041 3111416 mod 2041 So, gcd (1416 – 311, 2041) is a factor of 2041. gcd (1105, 2041) = gcd (2041, 1105) = gcd (2041, 1105 mod 2041) = gcd (1105, 2041 mod 1105) = gcd (1105, 936) = gcd (936, 1105 mod 936) = gcd (936, 169) = gcd (169, 936 mod 169) = gcd (169, 91) = gcd (91, 169 mod 91) = gcd (91, 78) = gcd (78, 91 mod 78) = gcd (78, 13) = gcd (13, 78 mod 13) = gcd (13, 13) = 13 University of Virginia CS 588

  26. Factoring Pragmatics • Conjectured to take esqrt(2 log n log log n) steps to factor n. • Quadratic Sieve Factoring • Improved Kraitchik’s algorithm to choose likely good values for x’s • Complexity: esqrt(log n log log n) • How much bigger numbers can it factor? Twice as many digits in same time! University of Virginia CS 588

  27. Breaking RSA-129 • Organized by Derek Atkins and others, 1994 • Quadratic Sieve algorithm • Memory-limited (1994 – most workstations 16MB RAM), used 10M to hold .5M primes • Recruited volunteers from Internet • 1600 machines • Used 5000 MIPS years over 8 months University of Virginia CS 588

  28. To factor r [RSA-129] we assembled the largest collaboration yet seen in computational number theory and, possibly, performed the largest single computation ever completed. In several important respects, the resources we had available were barely adequate for the task. Consequently, ingenuity and diplomacy were required for the successful completion of the project. Derek Atkins, Michael Graff, et. al., The Magic Words Are Squeamish Ossifrage, AsiaCrypt 1994. University of Virginia CS 588

  29. Recent Factoring Algorithms • Team from CWI (Amsterdam) factored RSA-155 (512 bits), August 1999 • Number Field Sieve (Sneakers) • ~8000 MIPS years (36 CPU years) • 7 months on ~300 machines • Lecture 1: factor 300 digit number for automatic A. How much harder is this? University of Virginia CS 588

  30. RSA Security • Factoring is hard (except in Sneakers) • Is this enough to know RSA is secure? • Can you compute D without factoring n? • Probably not, but can’t prove it. • But, can prove other obvious mathematical attacks are equivalent to factoring. University of Virginia CS 588

  31.  (n) without factoring • Calculate  (n) without factoring n. ed  1 mod  (n) • Equivalent to factoring:  (n) = (p – 1)(q – 1) = n – (p + q) + 1 p + q = n –  (n) – 1 p – q = sqrt ((p + q)2 – 4n) [next slide] 2p = sqrt ((n – (n) –1)2 – 4n) + n – (n) –1 If we know  (n) we can calculate p and q easily. University of Virginia CS 588

  32. p – q = sqrt ((p + q)2 – 4n) (p – q)2 = p2 – 2pq + q2 = p2 + q2 – 2n (p + q)2 = p2 + q2 + 2n (p – q)2 = (p + q)2 – 4n p – q = sqrt ((p + q)2 – 4n) University of Virginia CS 588

  33. Determine dwithout  (n) • Brute force: m digits long, amount of work is 10m. • Try 1T/second (special purpose hardware) • Will take 3*1030years for m = 50. • For factoring difficulty, m > 100. (Bigger than AES key) • Non-brute force: knowing d enables factoring. University of Virginia CS 588

  34. Determining d factoring ed = 1mod  (n) k *  (n) = ed – 1 Already showed, finding  (n) is same as factoring. Also true for multiple of  (n). University of Virginia CS 588

  35. Properties of RSA’s E and D • Trap-door one way function: • D (E (M)) = M • E and D are easy to compute. • Revealing E doesn’t reveal an easy way to compute D • Trap-door one way permutation: also • E (D (M)) = M University of Virginia CS 588

  36. Applications of RSA • Privacy: • Bob encrypts message to Alice using EA • Only Alice knows DA • Signatures: • Alice encrypts a message to Alice using DA • Bob decrypts using EA • Knows it was from Alice, since only Alice knows DA • Things you use every day: ssh, SSL, DNS, etc. • More than 400,000,000 copies of the RSA algorithm are currently installed University of Virginia CS 588

  37. Two “Questionable” Statements in RSA Paper “(The NBS scheme (DES) is probably somewhat faster if special-purposed hardware encryption devices are used; our scheme may be faster on a general-purpose computer since multiprecision arithmetic operations are simpler to implement than complicated bit manipulations.)” (p. 4) University of Virginia CS 588

  38. Two “Questionable” Statements in RSA Paper “The need for a courier between every pair of users has thus been replaced by the requirement for a single secure meeting between each user and the public file manager when the user joins the system.” (p. 6) University of Virginia CS 588

  39. Who really invented RSA? • General Communications HQ, Cheltenham (formed from Bletchley Park after WWII) • 1969 – James Ellis asked to work on key distribution problem • Secure telephone conversations by adding “noise” to line: • Receiver could add the noise and subtract it • No need for sender to have key! • Late 1969 – idea for PK, but no function • Clifford Cocks invented function (RSA) University of Virginia CS 588

  40. Charge • Next time: what to do about all those couriers! • Project Pre-Proposals due Monday • They should include: • Clear topic description and plan: the more details you can provide on what you plan to do, the better feedback I can provide • Related Work • Summary of what you have found so far • Reading list: things you plan to read next University of Virginia CS 588

More Related