Introduction Low Data Complexity Cryptanalysis Cryptanalytic Tools Results

Charles Bouillaguet

Description

Introduction Low-Data Complexity Cryptanalysis Cryptanalytic Tools Results New Meet-in-the-Middle Attacks on 1,2,3,4 and... 10 rounds of AES Charles Bouillaguet École normale supérieure Paris, France IRMAR Seminar November 4, 2011

• irmar seminar


• cryptanalytic tools


• supérieure de paris


• ecole normale


• introduction low-data


• complexity cryptanalysis

Sujets

• École normale

Informations

• Publié par: pefav
• Nombre de lectures: 25
• Langue: English

Extrait

nI B t r or u d n u o ct B i l o a n cneht PoreVirfCyrtpoeVirf Automaticverificationofsecurityprotocols: thetoolsProVerifandCryptoVerif I(RNAI,NE,SC BrunoBlanchet INRIA,E ´ coleNormaleSupe´rieure,CNRS,Paris RN)S October2011 PoreVirf&CyrtpoeVirfcOtober2011 Cocnul 1 soi / n 42

nItorudctoin Outline rBu PoreVirfCyrtpoeVirfCo 1 Introductiontosecurityprotocols 2 Verificationofprotocolsintheformalmodel:ProVerif 3 Verificationofprotocolsinthecomputationalmodel:CryptoVerif 4 Conclusionandfuturework onlBnacehtI(RNAI,NE,SCRN)SPoreVirf&CyrtpoeVirfcOtober2011 cnul 2 soi / n 42

nItorudctoinPoreVirf Somecryptographicprimitives rBnuoB CyrtpoeVirf Encryption:{ m } k istheencryptionofmessage m underkey k . Whenyouhavethedecryptionkey,youcanget m from{ m } k . Shared-keyencryption:thedecryptionkeyisequaltothe encryptionkey. Cocnuls Public-keyencryption:thedecryptionkey(secretkey sk )isdifferent fromtheencryptionkey(publickey pk ). Signature:onesignswiththesecretkey sk ({ m } sk ),andchecksthe signaturewiththepublickey pk . alcnehtI(RNAI,NE,SCRN)SPoreVirf&CyrtpoeVirfcOtober20113 oi / n 42

24/41102rebotcOfireVotpyrC&fireVorP)SRNC,S }s{ k N B(Bob) E {{ k } sk A } pk B , A(Alice) A kfresh IRNI(tehcnalBonurB .tercesniamerdluohssoS.BdnaAneewteb derahs,yektercesaebdluohs k yekehttahtsilocotorpehtfolaogehT )defiilpmis(]1891 ,MCA.mmoC,occaS,gninneD[locotorpnoitubirtsidyekoccaS-gninneD elpmaxE noisulcnoCfireVotpyrCfireVorPnoitcudortnI