Fine-Tuning Ideal Worlds for the Xor of Two Permutation Outputs

ePrint Report: Fine-Tuning Ideal Worlds for the Xor of Two Permutation Outputs

Wonseok Choi, Minki Hhan, Yu Wei, Vassilis Zikas

Security proofs of symmetric-key primitives typically consider an idealized world with access to a (uniformly) random function. The starting point of our work is the observation that such an ideal world leads to underestimating the actual security of certain primitives. As a demonstrating example, $\mathsf{XoP2}$, which relies on two independent random permutations, is proven to exhibit far superior concrete security …

access eprint report fine-tuning function key point random report security symmetric wei work world xor