10.1007/11761679_20
Krzysztof Pietrzak
Krzysztof Z
Pietrzak
Composition implies adaptive security in minicrypt
LNCS
Springer
2006
2018-12-11T12:02:04Z
2019-05-10T12:19:51Z
conference
https://research-explorer.app.ist.ac.at/record/3217
https://research-explorer.app.ist.ac.at/record/3217.json
To prove that a secure key-agreement protocol exists one must at least show P ≠NP. Moreover any proof that the sequential composition of two non-adaptively secure pseudorandom functions is secure against at least two adaptive queries must falsify the decisional Diffie-Hellman assumption, a standard assumption from public-key cryptography. Hence proving any of this two seemingly unrelated statements would require a significant breakthrough. We show that at least one of the two statements is true.
To our knowledge this gives the first positive cryptographic result (namely that composition implies some weak adaptive security) which holds in Minicrypt, but not in Cryptomania, i.e. under the assumption that one-way functions exist, but public-key cryptography does not.