Please enable JavaScript.
Coggle requires JavaScript to display documents.
Cryptography (Homeworks (PRF Proof (How to proof that F' is a PRF or…
Cryptography
Homeworks
-
Thm: Y secure => X secure
Proof:
[1] Not X secure => Not Y secure (contra-positive)
[2] If \exists PPT A who breaks X, then we can construct PPT B who breaks Y.
All kinds of proofs...
[3] Construct PPT B...
Conclusion: (Contrapositive again):
[4] If No such PPT B breaks Y, then no such PPT A breaks X;
Because we know that there is not such PPT B that break Y, so by the above statement we proved, X is secure.
-
-
-