Abstrakt. Vi visar att Feistel konstruktionen med sex rundor och slumpmässiga runda funktioner är offentligt oskiljaktiga från en slumpmässig inverterbar permutation (ett resultat som inte är känt för att hålla för fullständig oskiljaktighet). Offentlig odifferentiability (pub-odifferentiability for short) är en variant av odifferentiability som införts av Yoneyama et al. [YMO09] och Dodis et al. [DRS09] där simulatorn känner till alla frågor som görs av utskiljaren till den primitiva den försöker simulera, och är användbar för att argumentera säkerheten i kryptosystem där alla frågor till den ideala primitiva är offentliga (som t.ex. i många system för digitala signaturer). För att bevisa resultatet introducerar vi en ny och enklare variant av odifferentibilitet, som vi kallar sekventiell odifferentiability (seq-odifferentiability for short) och visar att detta begrepp i själva verket är likvärdigt med pub-odifferentiability för statslösa ideala primitiver. Vi bevisar sedan att 6-round Feistel konstruktion är följande-oskiljaktiga från en slumpmässig inverterbar permutation. Vi observerar också att sekventiell odifferentiability innebär korrelation intrakterbarhet, så att Feistel konstruktion med sex rundor och slumpmässiga runda funktioner ger en korrelation intractable invertible permutation, ett begrepp som vi definierar analogt med korrelation intractable funktioner som infördes av Canetti et al. [CGH98].
Det används till exempel av Mandal et al. REF att analysera 6-runda Feistel konstruktion.
On the Public Indifferentiability and Correlation Intractability of the 6-Round Feistel Construction
{'venue': 'TCC', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}