When Are Fuzzy Extractors Possible?
When Are Fuzzy Extractors Possible?
复制标题
DOI:
10.1109/tit.2020.2984751
复制
发表时间:
2016-12
影响因子:
2.5
通讯作者:
Benjamin Fuller;Leonid Reyzin;Adam D. Smith
中科院分区:
文献类型:
--
作者:
Benjamin Fuller;Leonid Reyzin;Adam D. Smith
Fuzzy extractors (Dodis et al., SIAM J. Computing 2008) convert repeated noisy readings of a high-entropy secret into the same uniformly distributed key. A minimum condition for the security of the key is the hardness of guessing a value that is similar to the secret, because the fuzzy extractor converts such a guess to the key. We quantify this property in a new notion called fuzzy min-entropy. We ask: is fuzzy min-entropy sufficient to build fuzzy extractors? We provide two answers for different settings. 1) If the construction is provided a description of the probability distribution $W$ that defines the noisy source then fuzzy min-entropy is a sufficient condition for information-theoretic key extraction from $W$ . 2) A more ambitious goal is to design a single extractor that works for all possible sources. This more ambitious goal is impossible: there is a family of sources with high fuzzy min-entropy for which no single fuzzy extractor is secure. This is true in three settings: a) for standard fuzzy extractors, b) for fuzzy extractors that are allowed to sometimes be wrong, c) and for secure sketches, which are the main ingredient of most fuzzy extractor constructions.