andr3/ComputerSecurity
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 2 Wiki Activity

done 6.1
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source
This commit is contained in:
Andre Henriques 2023-11-07 17:34:27 +00:00
parent 0450cf7c19
commit 5315cb3d36
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cw/cw.tex
View File

@ -135,7 +135,7 @@
This q pairs work because when the oracle selects b=0: This q pairs work because when the oracle selects b=0:
There will be no colisions: There will be no colisions:
$$\nexists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$ $$\exists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$
there if you don't find any colissions you can assume that the the oracle selected b=0 there if you don't find any colissions you can assume that the the oracle selected b=0
if the oracle selects b=1: if the oracle selects b=1: