Download presentation
Presentation is loading. Please wait.
Published byMelissa Cruz Modified over 10 years ago
1
PRF Domain Extension using DAGs Charanjit Jutla IBM T J Watson
2
ffff P1 P2P3Pm V1 V2V3Vm n bits to mn bits domain tilde-f
3
V1 V2 V4 V3 V5 P1 P2P3P5P4 ff f f f C
4
Requirements on the DAG Directed Acyclic Graph G = (V,E) |V| = m Unique source and sink nodes G is non-redundant –no two nodes have the same set of immediate predecessors Then, PRF Domain Extension to mn bits
5
V1 V2 V4 V3 V5 P1 P2P3P5P4 ff f f f
6
A Parallel Mode for Four Processors In general, 3+log* m depth
7
Really Basic Intuition C_i = f ( P_i xor XOR in E C_ j ) Call M_i = P_i xor XOR in E C_ j M_i is input to node V_i Can two such M_i1 and M_i2 collide? –i1= i2 ::: hopefully plaintexts are different??? –i1 \=i2 XOR C_ j ?= XOR C_ j
8
Using Galois Field GF(2^n) XOR C_ j ?= XOR C_ j XOR a_{j,i1}*C_ j ?= XOR a_{j,i2}*C_ j
9
Edge-Colored DAGs Directed Acyclic Graph G = (V,E) |V| = m Edge Coloring ψ: E GF(2^n)* Unique sink node G is non-singular –If two nodes (say u and v) have the same set of immediate predecessors (say W), then exists w \in W :: ψ(w,u) \= ψ(w,v) Then, PRF Domain Extension to mn bits
10
A Parallel Mode for Four Processors *x *x^2 *(1+x) *1
11
PMAC [BR02] (Parallelizable Authentication Mode) color m
12
PMAC [BR02] To be precise…. color m Constant 0
13
Variable Length Domain Ext. length need not be multiple of n –naïve padding with 10^t doesnt work –how to distinguish b/w full length and partial –UNLESS full length is authenticated differently [PR00], [BR00] naïve CBC-MAC for diff length – flawed – C1 = CBCMAC_f ( P1) – C1 = CBCMAC_f ( P1 || C1 xor P1)
14
Collection of DAGs 2 DAGs for each block len t : G_{2t} G_{2t+1} each DAG must have unique sink node each DAG must have at least t nodes each DAG individually non-singular – is that enough? NO
15
Incorrect Construction V1 V2V3 V4 V1 V2V3 V4 G_i cannot be allowed to be an induced subgraph of another G_j Define all graphs on the same set of vertices V
16
Requirements for VIL-PRF If for any pair of vertices (say u, v, u\=v) and graphs G_i and G_i, the set of incident nodes of u in G_i and v in G_i are same, then at least one incident edge is colored differently. –Non-singular over all graphs for each graph G_i, it is not the case that there is another graph G_i which is identical till the largest node of G_i
17
Optimizied VIL Mode col2col3 col4col5 col2 1234512345
18
Current Best Mode col2col3 col4col5 col2 1234512345 col3
19
Parallel VIL mode v1 v2 v3 v2^n color5 color6 v1 v2 v3 v2^n color5 color6 col1 col2 col3 col4
20
Proof Most theorems involving PRF, PRP constructions, as well as Modes of Operations --- from smaller primitives --- have to tackle collisions in calls to the smaller primitive Modulo that, proving randomness is easy
21
Collisions in calls to oracle automatic collisions -- as in CBC-MAC Unforced collisions Forced collisions (adversarial, adaptive) –can try to prove there are no forced collisions –Fix last blocks of the transrcipt – visible to A –Conditioned on this, –On Average over all possible transcripts c, same as collisions in the transcript Thus, adversary left with playing automatic collisions
22
THE END
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.