13

Lecture
07
2021

Principles of Modern Crypto

Formal Definition
Assumptions
Proof

Perfect secrecy
MI Cee PIMM
NAIM
c
Pr Enck mo c Putenica
IND EAV
Ch m m EM
KEK
be oil me K

I
y
Unbounded Adversary
IND EAV
Tl Achivers
Theoneying ay
IM1 14 14

K Q M
Enc Kim
Dec Ck C KO C

Correctness
M
Deck Enck m

Secure
Theoretically
Information Adversaries
Ombounded

Efficient
Prem l c c
ÉÉ e

I
Pr Tee Mam Pr Enck G

Pr Ik mac

Ie
Pr Gc I Pree e
I M m ATM D
e
In 2 P Tam
e
e
2
I P.IM my 2

EIM mtcf.IM
J
 t

ftp.t Fet
then
tertecaysec.ene

with M K 1h17 1141

Profit is p 1kt 1Mt

Contraposition a
T 11431Mt
occurs with

ik
Cee Non Zero

Probability
Mcc m
I m Deck e
for some KEK

Elk sympathetic
Inca
P.im
g
IT is not PS
m
M
It
A Gen Enc Dec IMI let 1k L
I Gene 114 e
2h
I

want to encrypt mÉI End Dei

e

Define Gen
I
Gen Gen

F Kill k e 30,13

Ent m K
a K
BEI e

17 Is IT IND EAV Secure If not why

Concrete Attack
Not describe
a
I If
on