Impagliazzos Personal View of Five possible worlds Definitional - - PowerPoint PPT Presentation

impagliazzo s personal view of
SMART_READER_LITE
LIVE PREVIEW

Impagliazzos Personal View of Five possible worlds Definitional - - PowerPoint PPT Presentation

Impagliazzos Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Impagliazzos Personal View of Five possible worlds Definitional issues Average-Case Complexity summarized Hrur Helgi Helgason University


slide-1
SLIDE 1

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

Impagliazzo’s Personal View of Average-Case Complexity

summarized Hörður Helgi Helgason

University of Iceland, Faculty of Industrial Engineering, Mechanical Engineering and Computer Science

November 10, 2008

slide-2
SLIDE 2

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

Levin and Impagliazzo

slide-3
SLIDE 3

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

Levin and Impagliazzo

Professor Leonid A. Levin, BU CS

◮ Average Case Complete Problems, SIAM J. Comput. (1986)

15(1):285-286

◮ A structural theory of average-case complexity ◮ Many NP-complete problems fast, on average ◮ Distinguishing difficult-on-average problems is beneficial

◮ Save positive efforts ◮ Verify hardness where required, e.g. cryptography

slide-4
SLIDE 4

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

Levin and Impagliazzo

Professor Leonid A. Levin, BU CS

◮ Average Case Complete Problems, SIAM J. Comput. (1986)

15(1):285-286

◮ A structural theory of average-case complexity ◮ Many NP-complete problems fast, on average ◮ Distinguishing difficult-on-average problems is beneficial

◮ Save positive efforts ◮ Verify hardness where required, e.g. cryptography

Professor Russell Impagliazzo, UCSD CS

◮ A Personal View of Average-Case Complexity, Proceedings

  • f the 10th Annual Structure in Complexity Theory

Conference (SCT’95): 134-147

◮ Summarize state of knowledge ◮ Motivate more research

slide-5
SLIDE 5

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

What is needed?

slide-6
SLIDE 6

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

What is needed?

Conventional completeness results can be relatively meaningless

slide-7
SLIDE 7

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

What is needed?

Conventional completeness results can be relatively meaningless

. . . but average-run-time arguments are also unenlightening:

slide-8
SLIDE 8

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

What is needed?

Conventional completeness results can be relatively meaningless

. . . but average-run-time arguments are also unenlightening:

A structural theory of distributional complexity is needed

slide-9
SLIDE 9

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

What is needed?

Conventional completeness results can be relatively meaningless

. . . but average-run-time arguments are also unenlightening:

A structural theory of distributional complexity is needed

◮ to allow comparisons of the inherent intractability of

distributional problems

◮ to provide meaningful results from arbitrary distributions

slide-10
SLIDE 10

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

The five worlds

slide-11
SLIDE 11

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

The five worlds

Questions regarding the average case complexity of problems in NP have five possible answers

slide-12
SLIDE 12

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

The five worlds

Questions regarding the average case complexity of problems in NP have five possible answers Benefits for AI, VLSI, Cryptography, Comp Sec, Derandomization of algorithms

slide-13
SLIDE 13

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

The five worlds

Questions regarding the average case complexity of problems in NP have five possible answers Benefits for AI, VLSI, Cryptography, Comp Sec, Derandomization of algorithms Carl Friedrich Gauß, and his teacher

◮ B¨

uttner constructed an apparently hard problem and posed it to his students, including Gauß, who demonstrated a quick method to solve it, but. . .

slide-14
SLIDE 14

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

The five worlds

Questions regarding the average case complexity of problems in NP have five possible answers Benefits for AI, VLSI, Cryptography, Comp Sec, Derandomization of algorithms Carl Friedrich Gauß, and his teacher

◮ B¨

uttner constructed an apparently hard problem and posed it to his students, including Gauß, who demonstrated a quick method to solve it, but. . .

◮ . . . what if B¨

uttner had been a complexity expert, and the main questions abour average-case complexity had been resolved? How would he fare in the five worlds?

slide-15
SLIDE 15

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

slide-16
SLIDE 16

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed:

slide-17
SLIDE 17

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

slide-18
SLIDE 18

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

Revolution in comp sci

slide-19
SLIDE 19

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

Revolution in comp sci

◮ VLSI would be optimized: Heuristics no more

slide-20
SLIDE 20

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

Revolution in comp sci

◮ VLSI would be optimized: Heuristics no more ◮ AI: Inductive learning instead of expert systems:

slide-21
SLIDE 21

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

Revolution in comp sci

◮ VLSI would be optimized: Heuristics no more ◮ AI: Inductive learning instead of expert systems: Feed an

algorithm a training set and it produces the simplest algorithm that produced the same results as an expert system

slide-22
SLIDE 22

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

Revolution in comp sci

◮ VLSI would be optimized: Heuristics no more ◮ AI: Inductive learning instead of expert systems: Feed an

algorithm a training set and it produces the simplest algorithm that produced the same results as an expert system

Loss of informational-based distinction

◮ No way of telling people, computers apart with information ◮ Any code could be easily broken

slide-23
SLIDE 23

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP

B¨ uttner less likely to succeed: To produce easily demonstratable solutions in class, B¨ uttner is confined to NP, now P-solvable

Revolution in comp sci

◮ VLSI would be optimized: Heuristics no more ◮ AI: Inductive learning instead of expert systems: Feed an

algorithm a training set and it produces the simplest algorithm that produced the same results as an expert system

Loss of informational-based distinction

◮ No way of telling people, computers apart with information ◮ Any code could be easily broken

To show we are in Algorithmica we need to demonstrate an efficient algorithm for solving an NP-complete problem

slide-24
SLIDE 24

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

slide-25
SLIDE 25

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost:

slide-26
SLIDE 26

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

slide-27
SLIDE 27

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

Comparison with Algorithmica

slide-28
SLIDE 28

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

Comparison with Algorithmica

◮ Appears to be similar, since on average finding and solving

NP-problems would be close

slide-29
SLIDE 29

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

Comparison with Algorithmica

◮ Appears to be similar, since on average finding and solving

NP-problems would be close

◮ But here, the average-case time to solve an NP-problem =

f(average-case time to think it up)

slide-30
SLIDE 30

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

Comparison with Algorithmica

◮ Appears to be similar, since on average finding and solving

NP-problems would be close

◮ But here, the average-case time to solve an NP-problem =

f(average-case time to think it up): Situation not clear. . .

slide-31
SLIDE 31

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

Comparison with Algorithmica

◮ Appears to be similar, since on average finding and solving

NP-problems would be close

◮ But here, the average-case time to solve an NP-problem =

f(average-case time to think it up): Situation not clear. . .

◮ E.g. VLSI: Sure, an algorithm produced here might work

well on most circuits. But we don’t care about most circuits, just circuits that are minimal instantiations of the provided specifics

slide-32
SLIDE 32

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

P = NP worst case, but P = NP on average

B¨ uttner can succeed, but at great cost: Hard instances of a problem can be found, but finding them takes a really long time

Comparison with Algorithmica

◮ Appears to be similar, since on average finding and solving

NP-problems would be close

◮ But here, the average-case time to solve an NP-problem =

f(average-case time to think it up): Situation not clear. . .

◮ E.g. VLSI: Sure, an algorithm produced here might work

well on most circuits. But we don’t care about most circuits, just circuits that are minimal instantiations of the provided specifics

◮ Security: As bad as in Algorithmica: Harder to protect than

to break

slide-33
SLIDE 33

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

slide-34
SLIDE 34

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

B¨ uttner can pose hard problems, but can’t solve himself

slide-35
SLIDE 35

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

B¨ uttner can pose hard problems, but can’t solve himself

Generating hard instances of NP-problems is easy, but there is no way to generate hard solved instances

slide-36
SLIDE 36

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

B¨ uttner can pose hard problems, but can’t solve himself

Generating hard instances of NP-problems is easy, but there is no way to generate hard solved instances

◮ Similar to real life: Progress made slowly, through better

understanding of the relevant situation

slide-37
SLIDE 37

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

B¨ uttner can pose hard problems, but can’t solve himself

Generating hard instances of NP-problems is easy, but there is no way to generate hard solved instances

◮ Similar to real life: Progress made slowly, through better

understanding of the relevant situation

◮ Cryptography: No apparent way of making use of the hard

average-case problems

slide-38
SLIDE 38

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

B¨ uttner can pose hard problems, but can’t solve himself

Generating hard instances of NP-problems is easy, but there is no way to generate hard solved instances

◮ Similar to real life: Progress made slowly, through better

understanding of the relevant situation

◮ Cryptography: No apparent way of making use of the hard

average-case problems: A problem that no-one knows the answer to cannot be used to distinguish between legitimate and other users

slide-39
SLIDE 39

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

Hard average-case problems, but no one-way functions

B¨ uttner can pose hard problems, but can’t solve himself

Generating hard instances of NP-problems is easy, but there is no way to generate hard solved instances

◮ Similar to real life: Progress made slowly, through better

understanding of the relevant situation

◮ Cryptography: No apparent way of making use of the hard

average-case problems: A problem that no-one knows the answer to cannot be used to distinguish between legitimate and other users To show we are in Pessiland we need to give an average-case lower bound for some problem in NP

slide-40
SLIDE 40

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

slide-41
SLIDE 41

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

One-way functions can be used to create hard problems, so B¨ uttner can finally pose hard problems to Gauß

slide-42
SLIDE 42

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

One-way functions can be used to create hard problems, so B¨ uttner can finally pose hard problems to Gauß

Security implications

slide-43
SLIDE 43

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

One-way functions can be used to create hard problems, so B¨ uttner can finally pose hard problems to Gauß

Security implications

◮ Sharing secrets in advance can be used to create secure

  • channels. . .
slide-44
SLIDE 44

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

One-way functions can be used to create hard problems, so B¨ uttner can finally pose hard problems to Gauß

Security implications

◮ Sharing secrets in advance can be used to create secure

  • channels. . .

◮ . . . but no way to initiate private communications over

public networks

slide-45
SLIDE 45

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

One-way functions can be used to create hard problems, so B¨ uttner can finally pose hard problems to Gauß

Security implications

◮ Sharing secrets in advance can be used to create secure

  • channels. . .

◮ . . . but no way to initiate private communications over

public networks

◮ Many applications not feasible, e.g. anonymous digital

currencies

slide-46
SLIDE 46

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

One-way functions, but no PKC

One-way functions can be used to create hard problems, so B¨ uttner can finally pose hard problems to Gauß

Security implications

◮ Sharing secrets in advance can be used to create secure

  • channels. . .

◮ . . . but no way to initiate private communications over

public networks

◮ Many applications not feasible, e.g. anonymous digital

currencies To show we are in Minicrypt we would need to show that no efficient algorithm existed for inverting one-way functions, and show how to break any secret-key algorithm

slide-47
SLIDE 47

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

slide-48
SLIDE 48

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

slide-49
SLIDE 49

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

slide-50
SLIDE 50

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions

slide-51
SLIDE 51

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . .

slide-52
SLIDE 52

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . . ◮ No technical way of curbing secure communications

slide-53
SLIDE 53

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . . ◮ No technical way of curbing secure communications

. . . but differences remain

slide-54
SLIDE 54

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . . ◮ No technical way of curbing secure communications

. . . but differences remain

◮ All known secure PKIs rely on RSA/Rabin/Diffie-Hellman

slide-55
SLIDE 55

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . . ◮ No technical way of curbing secure communications

. . . but differences remain

◮ All known secure PKIs rely on RSA/Rabin/Diffie-Hellman ◮ Efficient integer factoring methods would topple this

slide-56
SLIDE 56

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . . ◮ No technical way of curbing secure communications

. . . but differences remain

◮ All known secure PKIs rely on RSA/Rabin/Diffie-Hellman ◮ Efficient integer factoring methods would topple this ◮ No theoretical reason why this problem is intractable and

there exist QC models that solve it

slide-57
SLIDE 57

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds

Algorithmica Heuristica Pessiland Minicrypt Cryptomania

Definitional issues

PKC is possible

B¨ uttner can selectively stump Gauß, by utilizing secure channels to share solutions with everyone else in class rendering

Security implications: Close to the real world. . .

◮ Implies one-way functions ◮ Apps feasible: electronic voting, anonymous digital cash, . . . ◮ No technical way of curbing secure communications

. . . but differences remain

◮ All known secure PKIs rely on RSA/Rabin/Diffie-Hellman ◮ Efficient integer factoring methods would topple this ◮ No theoretical reason why this problem is intractable and

there exist QC models that solve it To show we are in Cryptomania we need to show that a secret-key protocol is secure, e.g. by proving a strong lower bound on average-case time to factor integers

slide-58
SLIDE 58

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

Criticism of Levin’s paper

slide-59
SLIDE 59

Impagliazzo’s Personal View of Average-Case Complexity H.H.Helgason Abstract Introduction Five possible worlds Definitional issues

Criticism of Levin’s paper

Infinite input distributions versus ensembles of finite input distributions Expected Time versus the Average Case Extensions