TY - JOUR

T1 - Time hierarchies for cryptographic function inversion with advice

AU - Grigoriev, D. Yu

AU - Hirsch, E. A.

AU - Pervyshev, K. V.

PY - 2009/5

Y1 - 2009/5

N2 - We prove a time hierarchy theorem for inverting functions computable in a slightly nonuniform polynomial time. In particular, we prove that if there is a strongly one-way function, then for any k and for any polynomial p, there is a function f computable in linear time with one bit of advice such that there is a polynomial-time probabilistic adversary that inverts f with probability 1/p(n) on infinitely many lengths of input, while all probabilistic O(n k )-time adversaries with logarithmic advice invert f with probability less than 1/p(n) on almost all lengths of input. We also prove a similar theorem in the worst-case setting, i.e., if P∈-∈NP, then for every l∈>∈k∈ ∈1 (Dtime[nk] ∩Ntime[n]) 1 (Dtime[nl}] ∩ Ntime[n] )1. Bibliography: 21 titles.

AB - We prove a time hierarchy theorem for inverting functions computable in a slightly nonuniform polynomial time. In particular, we prove that if there is a strongly one-way function, then for any k and for any polynomial p, there is a function f computable in linear time with one bit of advice such that there is a polynomial-time probabilistic adversary that inverts f with probability 1/p(n) on infinitely many lengths of input, while all probabilistic O(n k )-time adversaries with logarithmic advice invert f with probability less than 1/p(n) on almost all lengths of input. We also prove a similar theorem in the worst-case setting, i.e., if P∈-∈NP, then for every l∈>∈k∈ ∈1 (Dtime[nk] ∩Ntime[n]) 1 (Dtime[nl}] ∩ Ntime[n] )1. Bibliography: 21 titles.

UR - http://www.scopus.com/inward/record.url?scp=67349115686&partnerID=8YFLogxK

U2 - 10.1007/s10958-009-9403-5

DO - 10.1007/s10958-009-9403-5

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:67349115686

SN - 1072-3374

VL - 158

SP - 633

EP - 644

JO - Journal of Mathematical Sciences

JF - Journal of Mathematical Sciences

IS - 5

ER -