From 988a290b8d14d39037bad89889b9c64196983a1b Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Fri, 3 Nov 2023 13:26:42 +0000 Subject: [PATCH] Fix cw.tex --- cw/cw.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cw/cw.tex b/cw/cw.tex index c448afd..18c63c4 100644 --- a/cw/cw.tex +++ b/cw/cw.tex @@ -63,7 +63,7 @@ For if the block size is bigger than one we can say $$H(m)=E(m)_{\text{Last Block}}$$ $$E(m)=E(K, m)$$ - $$\exists a,b,c,d : m = a||b \and m' = c||d$$ + $$\exists a,b,c,d : m = a||b \land m' = c||d$$ where a,b,c,d are the size of one block $$H(m)=E(b \oplus E(a \oplus IV)) = C_1$$ $$H(m')=E(d \oplus E(c \oplus IV)) = C_2$$ @@ -72,7 +72,7 @@ with: $$a \ne b \ne c \ne d$$ therefore - $$H(m)=H(m') \and m\ne m'$$ + $$H(m)=H(m') \land m\ne m'$$