Introduction Passive Soundness Adaptive Soundness Selective Decryption Conclusion

Laurent Mazaré

Description

logo Introduction Passive Soundness Adaptive Soundness Selective Decryption Conclusion Adaptive Security of Symbolic Encryption: the Case of Dynamic Corruptions. Laurent Mazaré Joint work with Bogdan Warinschi LSV - ENS Cachan Formacrypt Metting, January 2007 L. Mazaré Adaptive Security with Dynamic Corruptions 1/20

• symbolic model


• decryption conclusion


• mazaré adaptive


• introduction passive


• computational security


• adaptive adversaries


• soundness selective


• soundness adaptive

Sujets

• Computational hardness assumption

Informations

• Publié par: pefav
• Nombre de lectures: 22

Extrait

IntroductioPnsaisevoSnundsedasAivptoueSnendeSsstcelDeviyrcenConptioionclus tpadAérazaM.LhDitywitureceSiv2/1s

Adaptive Security of Symbolic Encryption: the Case of Dynamic Corruptions.

logo

0

Laurent Mazaré Joint work with Bogdan Warinschi

LSV - ENS Cachan

Formacrypt Metting, January 2007

amynCoicuprronti

nIrtssendnuoevitpadAontiucodeSivssParcpyeveDoCcnitnodnesSounectisSel ondortitcu isul nI no ytiruceSevitpadAruorcCminaDythwizaréL.Ma02

logo

Adversary Model 1 Passive adversary: eavesdropper. 2 Adaptive adversaries. 3 Active adversaries.

Computational soundness of symbolic encryption Symbolicsecurity⇒Computationalsecurity.

Symbolic and Computational Settings 1 Symbolicmodel: automatic verification. 2 Computationalmodel: realism.

tpoisn/2

razaM.LAéadtpviSecerutiywithDynamicCorritpu2sno02/

Symbolic and Computational Settings 1 Symbolicmodel: automatic verification. 2 Computationalmodel: realism.

Adversary Model 1 Passive adversary: eavesdropper. 2 Adaptive adversaries. 3 Active adversaries.

Computational soundness of symbolic encryption Symbolicsecurity⇒Computationalsecurity.

logo

ndseoSnutpviAsadctiorodusivenPastnI oin clusion Introduct DeviyrceoitpnoCnoueSnendSessctle

In noitucodtrIn onsiluncdAssitpauoSeendnPaonivssodtrtiucpyitnooCiteveDrcessSelecveSoundn SevericuAdrétiapimanroCciwytyDht.LaMazoisnurtp

logo

Adversary Model 1 Passive adversary: eavesdropper. 2 Adaptive adversaries. 3 Active adversaries.

Computational soundness of symbolic encryption Symbolicsecurity⇒Computationalsecurity.

/202

Symbolic and Computational Settings 1 Symbolicmodel: automatic verification. 2 Computationalmodel: realism.

ortntcudPnoiissaSovednunsAesptdaI SecerutiAéadtpviL.Mazar eructu n Str usioonclCnoitpyrceDevitcleSessnendoueSiv

Passive Soundness

Selective Decryption

1

s3ontiup

2

3

logo

Adaptive Soundness

0/2nyDhtiwyrroCcima