<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns:mv="http://macVmlSchemaUri" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta name=Title content="Introduction to Cryptography"> <meta name=Keywords content=""> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 14"> <meta name=Originator content="Microsoft Word 14"> <link rel=File-List href="index_files/filelist.xml"> <link rel=Edit-Time-Data href="index_files/editdata.mso"> <!--[if !mso]> <style> v\:* {behavior:url(#default#VML);} o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} </style> <![endif]--> <title>Introduction to Cryptography</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Rafael Pass</o:Author> <o:LastAuthor>Rafael Pass</o:LastAuthor> <o:Revision>15</o:Revision> <o:TotalTime>23</o:TotalTime> <o:Created>2011-08-24T22:10:00Z</o:Created> <o:LastSaved>2014-08-28T18:27:00Z</o:LastSaved> <o:Pages>2</o:Pages> <o:Words>1117</o:Words> <o:Characters>6368</o:Characters> <o:Lines>53</o:Lines> <o:Paragraphs>14</o:Paragraphs> <o:CharactersWithSpaces>7471</o:CharactersWithSpaces> <o:Version>14.0</o:Version> </o:DocumentProperties> <o:OfficeDocumentSettings> <o:AllowPNG/> </o:OfficeDocumentSettings> </xml><![endif]--> <link rel=themeData href="index_files/themedata.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:Zoom>150</w:Zoom> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:TrackMoves>false</w:TrackMoves> <w:TrackFormatting/> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/> <w:LidThemeOther>EN-US</w:LidThemeOther> <w:LidThemeAsian>X-NONE</w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript> <w:Compatibility> <w:SplitPgBreakAndParaMark/> <w:DontVertAlignCellWithSp/> <w:DontBreakConstrainedForcedTables/> <w:DontVertAlignInTxbx/> <w:Word11KerningPairs/> <w:CachedColBalance/> </w:Compatibility> <m:mathPr> <m:mathFont m:val="Cambria Math"/> <m:brkBin m:val="before"/> <m:brkBinSub m:val="&#45;-"/> <m:smallFrac m:val="off"/> <m:dispDef/> <m:lMargin m:val="0"/> <m:rMargin m:val="0"/> <m:defJc m:val="centerGroup"/> <m:wrapIndent m:val="1440"/> <m:intLim m:val="subSup"/> <m:naryLim m:val="undOvr"/> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false" DefSemiHidden="false" DefQFormat="false" LatentStyleCount="276"> <w:LsdException Locked="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="caption"/> <w:LsdException Locked="false" QFormat="true" Name="Title"/> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> <w:LsdException Locked="false" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" Priority="99" Name="No List"/> <w:LsdException Locked="false" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="TOC Heading"/> </w:LatentStyles> </xml><![endif]--> <style> <!-- font-face {font-family:Tahoma;} font-face {font-family:Tahoma;} /* Font Definitions */ @font-face {font-family:Arial; panose-1:2 11 6 4 2 2 2 2 2 4; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:-536859905 -1073711037 9 0 511 0;} @font-face {font-family:Times; panose-1:2 0 5 0 0 0 0 0 0 0; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 0 0 0 1 0;} @font-face {font-family:"-3 fg"; mso-font-charset:78; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:1 134676480 16 0 131072 0;} @font-face {font-family:"-3 fg"; mso-font-charset:78; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:1 134676480 16 0 131072 0;} @font-face {font-family:Tahoma; panose-1:2 11 6 4 3 5 4 4 2 4; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:-520082689 -1073717157 41 0 66047 0;} @font-face {font-family:"Lucida Grande"; panose-1:2 11 6 0 4 5 2 2 2 4; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:-520090897 1342218751 0 0 447 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} h1 {mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 1 Char"; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; mso-outline-level:1; font-size:24.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"-3 fg"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi; font-weight:bold;} h2 {mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 2 Char"; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; mso-outline-level:2; font-size:18.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"-3 fg"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi; font-weight:bold;} h3 {mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 3 Char"; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; page-break-after:avoid; mso-outline-level:3; font-size:13.0pt; font-family:Arial; mso-fareast-font-family:"-3 fg"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi; font-weight:bold;} a:link, span.MsoHyperlink {mso-style-unhide:no; color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {mso-style-unhide:no; color:blue; text-decoration:underline; text-underline:single;} p {mso-style-unhide:no; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"Times New Roman";} p.MsoAcetate, li.MsoAcetate, div.MsoAcetate {mso-style-unhide:no; mso-style-link:"Balloon Text Char"; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:8.0pt; font-family:Tahoma; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} span.Heading1Char {mso-style-name:"Heading 1 Char"; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 1"; mso-ansi-font-size:16.0pt; mso-bidi-font-size:16.0pt; font-family:Calibri; mso-ascii-font-family:Calibri; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"-3 0000"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#345A8A; font-weight:bold;} span.Heading2Char {mso-style-name:"Heading 2 Char"; mso-style-noshow:yes; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 2"; mso-ansi-font-size:13.0pt; mso-bidi-font-size:13.0pt; font-family:Calibri; mso-ascii-font-family:Calibri; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"-3 0000"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; font-weight:bold;} span.Heading3Char {mso-style-name:"Heading 3 Char"; mso-style-noshow:yes; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 3"; font-family:Calibri; mso-ascii-font-family:Calibri; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"-3 0000"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; font-weight:bold;} span.BalloonTextChar {mso-style-name:"Balloon Text Char"; mso-style-noshow:yes; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Balloon Text"; mso-ansi-font-size:9.0pt; mso-bidi-font-size:9.0pt; font-family:"Lucida Grande"; mso-ascii-font-family:"Lucida Grande"; mso-fareast-font-family:"Times New Roman"; mso-hansi-font-family:"Lucida Grande"; mso-bidi-font-family:"Lucida Grande";} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:10.0pt; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt;} @page WordSection1 {size:8.5in 11.0in; margin:1.0in 1.25in 1.0in 1.25in; mso-header-margin:.5in; mso-footer-margin:.5in; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} /* List Definitions */ @list l0 {mso-list-id:244924787; mso-list-template-ids:1225810960;} @list l0:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l0:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l1 {mso-list-id:492334927; mso-list-template-ids:-181741152;} @list l1:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l1:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l2 {mso-list-id:740951017; mso-list-template-ids:1849841160;} @list l2:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l2:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l3 {mso-list-id:893392967; mso-list-template-ids:291655466;} @list l3:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l3:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l3:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l4 {mso-list-id:930546903; mso-list-template-ids:1381141664;} @list l4:level1 {mso-level-tab-stop:1.0in; mso-level-number-position:left; margin-left:1.0in; text-indent:-.25in; mso-ansi-font-size:10.0pt;} @list l4:level2 {mso-level-tab-stop:1.5in; mso-level-number-position:left; margin-left:1.5in; text-indent:-.25in;} @list l4:level3 {mso-level-tab-stop:2.0in; mso-level-number-position:left; margin-left:2.0in; text-indent:-.25in;} @list l4:level4 {mso-level-tab-stop:2.5in; mso-level-number-position:left; margin-left:2.5in; text-indent:-.25in;} @list l4:level5 {mso-level-tab-stop:3.0in; mso-level-number-position:left; margin-left:3.0in; text-indent:-.25in;} @list l4:level6 {mso-level-tab-stop:3.5in; mso-level-number-position:left; margin-left:3.5in; text-indent:-.25in;} @list l4:level7 {mso-level-tab-stop:4.0in; mso-level-number-position:left; margin-left:4.0in; text-indent:-.25in;} @list l4:level8 {mso-level-tab-stop:4.5in; mso-level-number-position:left; margin-left:4.5in; text-indent:-.25in;} @list l4:level9 {mso-level-tab-stop:5.0in; mso-level-number-position:left; margin-left:5.0in; text-indent:-.25in;} @list l5 {mso-list-id:931817807; mso-list-template-ids:-1387617556;} @list l5:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l5:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l6 {mso-list-id:1093092298; mso-list-template-ids:-1262974694;} @list l6:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l6:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l7 {mso-list-id:1611160041; mso-list-template-ids:884238296;} @list l7:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l7:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l7:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l8 {mso-list-id:1628664264; mso-list-template-ids:-1314080180;} @list l8:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l8:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l8:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l9 {mso-list-id:1867982039; mso-list-template-ids:505815706;} @list l9:level1 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level2 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level3 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level4 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level5 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level6 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level7 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level8 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level9 {mso-level-number-format:bullet; mso-level-text:; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} ol {margin-bottom:0in;} ul {margin-bottom:0in;} --> </style> <!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman";} </style> <![endif]--><!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="1030"/> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext="edit"> <o:idmap v:ext="edit" data="1"/> </o:shapelayout></xml><![endif]--> </head> <body bgcolor=white lang=EN-US link=blue vlink=blue style='tab-interval:.5in'> <div class=WordSection1> <h1 align=center style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt; margin-left:0in;text-align:center'><span style='mso-no-proof:yes'><!--[if gte vml 1]><v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> <v:stroke joinstyle="miter"/> <v:formulas> <v:f eqn="if lineDrawn pixelLineWidth 0"/> <v:f eqn="sum @0 1 0"/> <v:f eqn="sum 0 0 @1"/> <v:f eqn="prod @2 1 2"/> <v:f eqn="prod @3 21600 pixelWidth"/> <v:f eqn="prod @3 21600 pixelHeight"/> <v:f eqn="sum @0 0 1"/> <v:f eqn="prod @6 1 2"/> <v:f eqn="prod @7 21600 pixelWidth"/> <v:f eqn="sum @8 21600 0"/> <v:f eqn="prod @7 21600 pixelHeight"/> <v:f eqn="sum @10 21600 0"/> </v:formulas> <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> <o:lock v:ext="edit" aspectratio="t"/> </v:shapetype><v:shape id="Picture_x0020_0" o:spid="_x0000_i1025" type="#_x0000_t75" alt="image001.gif" style='width:317pt;height:91pt;visibility:visible; mso-wrap-style:square'> <v:imagedata src="index_files/image001.gif" o:title="image001"/> <v:textbox style='mso-rotate-with-shape:t'/> </v:shape><![endif]--><![if !vml]><img width=319 height=93 src="index_files/image002.png" alt=image001.gif v:shapes="Picture_x0020_0"><![endif]><span style="mso-spacerun:yes"> </span></span><span style='mso-bidi-font-family:"Times New Roman";mso-no-proof:yes'><!--[if gte vml 1]><v:shape id="Picture_x0020_1" o:spid="_x0000_i1026" type="#_x0000_t75" alt="Description: Description: CornellNYCTech-logo.jpg" style='width:3in;height:81pt;visibility:visible;mso-wrap-style:square'> <v:imagedata src="index_files/image003.jpg" o:title=" CornellNYCTech-logo.jpg"/> </v:shape><![endif]--><![if !vml]><img width=218 height=83 src="index_files/image004.png" alt="Description: Description: CornellNYCTech-logo.jpg" v:shapes="Picture_x0020_1"><![endif]></span><o:p></o:p></h1> <h1 align=center style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt; margin-left:0in;text-align:center'>Cryptography</h1> <h2 align=center style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt; margin-left:0in;text-align:center'>Computer Science 6830 <br> Cornell University <br> Fall 2014</h2> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><br> Instructor: <a href="http://www.cs.cornell.edu/~rafael">Rafael Pass</a><o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Time: TR 10.10-11.25<br> Place: Gates 301<br> Course Web page: <a href="http://www.cs.cornell.edu/courses/cs6830/2014fa/">http://www.cs.cornell.edu/courses/cs6830/2014fa/</a><o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Office Hours: by appointment.<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>TA: Edward <span class=SpellE>Lui</span> (TBA)<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Overview </h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>The modern study of cryptography investigates techniques for facilitating interactions between distrustful entities. In our connected society, such techniques have become indispensable---enabling, for instance, automated teller machines, secure wireless networks, <span class=GramE>internet</span> banking, satellite radio/television and more. <o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>In this course we introduce some of the fundamental concepts of this study. Emphasis will be placed on the foundations of cryptography and in particular on precise definitions and proof techniques. <o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Topics include: one-way functions, encryption, signatures, pseudo-random number generation, zero-knowledge and basic protocols.<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Note: This will be a theory course. You will be expected to read and write formal definitions and mathematical proofs. This is not a course in security: you will not learn how to secure your system. Cryptography is only one (important) part of security. We will not study cryptographic acronyms or all cryptographic protocols in use today. Rather we focus on some of the fundamental design paradigms and on notions that will allow you to critically evaluate cryptographic protocols.<o:p></o:p></span></p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Prerequisites</h2> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'><o:p>&nbsp;</o:p></p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'>General ease with algorithms and elementary probability theory, maturity with mathematical proofs (to be able to read and write mathematical proofs) </p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><a name="Course_Administration"><o:p>&nbsp;</o:p></a></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><span style='mso-bookmark:Course_Administration'>Course Administration</span></h2> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'><o:p>&nbsp;</o:p></p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'>We are using the course management system, <b style='mso-bidi-font-weight:normal'>CMS</b>.&nbsp; Please login to <a href="http://cms.csuglab.cornell.edu/">http://cms.csuglab.cornell.edu/</a> and check whether you are registered. There will be a list of courses you are registered for, and CS 6830 should be one of them.&nbsp; If not, please send your full name and Cornell <span class=SpellE>netid</span> to the TA so he can register you.&nbsp; You can check your grades and submit homework in CMS.&nbsp; </p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Grading</h2> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>There will be roughly 4-5 <span class=SpellE>homeworks</span>. The grade will be based on homework assignments, scribe and class participation. <o:p></o:p></span></p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Homework Policy</h2> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'><o:p>&nbsp;</o:p></p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'>You are free to collaborate with other students on the homework, but you must turn in your own individually written solution and you must specify the names of your collaborators. Additionally, you may make use of published material, provided that you acknowledge all sources used. Note that it is a violation of this policy to submit a problem solution that you are unable to explain orally to me. Typed problem sets are strongly preferred. </p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'><o:p>&nbsp;</o:p></p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'><a href="http://www.cs.cornell.edu/courses/cs6830/2014fa/hw/hw1.pdf">Homework 1</a> is due on Sep 15.</p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'>G-writer <span class=SpellE>ciphertext</span> are found here: <a href="http://www.cs.cornell.edu/courses/cs6830/2014fa/hw/gwriter.zip">zip</a></p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'><o:p>&nbsp;</o:p></p> <p style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left:0in'>You will need the following <a href="notation.pdf">notation and preliminaries</a>. </p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Reading<span style='font-size:12.0pt'> </span>&nbsp;</h2> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Lecture notes covering a large fraction of the course can be found <a href="http://www.cs.cornell.edu/courses/cs4830/2010fa/lecnotes.pdf">here</a>.<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>(Background material on discrete math from CS 2800 can be found <a href="http://www.cs.cornell.edu/courses/cs4830/2010fa/lecnotes.pdf">here</a>.)<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>There is no required textbook for the course. However, most of the topics we will cover can be found in the following excellent reference.<o:p></o:p></span></p> <p class=MsoNormal style='margin-left:.25in'><span style='mso-bidi-font-family: "Times New Roman"'>&nbsp;<o:p></o:p></span></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l3 level1 lfo1;tab-stops:list .5in'><span class=SpellE>Oded</span> <span class=SpellE>Goldreich</span>. <a href="http://www.wisdom.weizmann.ac.il/~oded/foc-book.html">Foundations of Cryptography</a>. This is a very comprehensive treatment of the theoretical foundations of cryptography. Volume I <span class=GramE>contains</span> most of the material we will cover in class. Other topics such as encryption, signatures and secure computation are in Volume II. </li> </ul> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Topics Outline <span style='font-size:12.0pt;font-weight:normal'>(subject to change)</span></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><span style='font-weight:normal'><o:p>&nbsp;</o:p></span></h2> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l5 level1 lfo2;tab-stops:list .5in'><b style='mso-bidi-font-weight:normal'>Introduction: </b></li> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l5 level2 lfo2;tab-stops:list 1.0in'>Introduction and Overview.<b style='mso-bidi-font-weight:normal'> </b></li> <li class=MsoNormal style='mso-list:l5 level2 lfo2;tab-stops:list 1.0in'>Information Theoretic Security. <br> <i style='mso-bidi-font-style:normal'>Shannon s Definition of security. One-time Pads. Limitations of the Information Theoretic Approach. <o:p></o:p></i></li> </ol> </ul> <p class=MsoNormal style='margin-left:.25in'><b style='mso-bidi-font-weight: normal'><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l7 level1 lfo3;tab-stops:list .5in'><b style='mso-bidi-font-weight:normal'>Computational Hardness and One-<span class=SpellE>wayness</span>: </b></li> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l7 level2 lfo3;tab-stops:list 1.0in'>One-way Functions and Computationally bounded adversaries.<br> <i style='mso-bidi-font-style:normal'>Randomized Efficient Algorithms. One-way functions (OWF).<br> Collections of OWFs.<o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l7 level2 lfo3;tab-stops:list 1.0in'><i style='mso-bidi-font-style:normal'>Number Theory and Candidate One-way functions/permutations and trapdoor permutations.<o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l7 level2 lfo3;tab-stops:list 1.0in'><i style='mso-bidi-font-style:normal'>Weak and Strong OWFs. Hardness Amplification.<o:p></o:p></i></li> </ol> </ul> <p class=MsoNormal style='margin-left:.25in'><b style='mso-bidi-font-weight: normal'><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l1 level1 lfo4;tab-stops:list .5in'><span class=SpellE><b style='mso-bidi-font-weight:normal'>Indistinguishability</b></span><b style='mso-bidi-font-weight:normal'>, Randomness and <span class=SpellE>Pseudorandomness</span>:</b> </li> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l1 level2 lfo4;tab-stops:list 1.0in'>Computational <span class=SpellE>Indistinguishability</span> and Pseudorandom Generators (PRG) and Functions (PRF).<br> <i style='mso-bidi-font-style:normal'>Definitions of Computational <span class=SpellE>Indistinguishability</span> and <span class=SpellE>Pseudorandomness</span>. <o:p></o:p></i></li> </ol> </ul> <p class=MsoNormal style='margin-left:.75in;text-indent:.25in'><i style='mso-bidi-font-style:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Hard-core bits. <span class=GramE>Constructions of a PRGs and PRFs.</span><o:p></o:p></span></i></p> <ul style='margin-top:0in' type=disc> <ol style='margin-top:0in' start=2 type=1> <li class=MsoNormal style='mso-list:l1 level2 lfo4;tab-stops:list 1.0in'>Hard-core bits from any one-way function.<br> <i style='mso-bidi-font-style:normal'>The <span class=SpellE>Goldreich</span>-Levin Theorem. <o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l1 level2 lfo4;tab-stops:list 1.0in'>Imperfect Randomness, and Hardness <span class=SpellE>v.s</span>. Randomness.<br> <i style='mso-bidi-font-style:normal'>Impossibility of deterministic extraction.<br> Universal <span class=SpellE>Hashfunctions</span> and seeded extractors.<br> PRG and <span class=SpellE>Derandomization</span> of BPP.<o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l1 level2 lfo4;tab-stops:list 1.0in'>Private-Key Encryption. <br> <i style='mso-bidi-font-style:normal'>Definitions and Constructions<o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l1 level2 lfo4;tab-stops:list 1.0in'>Public-Key Encryption. <br> <i style='mso-bidi-font-style:normal'>Definitions and Constructions.<o:p></o:p></i></li> </ol> </ul> <p class=MsoNormal style='margin-left:.75in'><span style='mso-bidi-font-family: "Times New Roman"'>&nbsp;<o:p></o:p></span></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l2 level1 lfo5;tab-stops:list .5in'><b style='mso-bidi-font-weight:normal'>Zero-Knowledge:</b></li> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l2 level2 lfo5;tab-stops:list 1.0in'><span class=SpellE>Semantical</span> Security: <i style='mso-bidi-font-style: normal'><o:p></o:p></i></li> </ol> </ul> <p class=MsoNormal style='margin-left:.75in;text-indent:.25in'><i style='mso-bidi-font-style:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Zero knowledge-based definitions of encryption. <span class=GramE>Equivalence with <span class=SpellE>indistinguishability</span>-based definitions.</span><o:p></o:p></span></i></p> <ul style='margin-top:0in' type=disc> <ol style='margin-top:0in' start=2 type=1> <li class=MsoNormal style='mso-list:l2 level2 lfo5;tab-stops:list 1.0in'>Zero-Knowledge Proofs:<br> <i style='mso-bidi-font-style:normal'>Definitions and construction of ZK proofs for Graph-Isomorphism and Graph 3-coloring. <o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l2 level2 lfo5;tab-stops:list 1.0in'>Witness <span class=SpellE>Indistinguishability</span><i style='mso-bidi-font-style: normal'><o:p></o:p></i></li> </ol> </ul> <p class=MsoNormal style='margin-left:1.0in'><i style='mso-bidi-font-style: normal'><span style='mso-bidi-font-family:"Times New Roman"'>Constant-round ZK.<br style='mso-special-character:line-break'> <![if !supportLineBreakNewLine]><br style='mso-special-character:line-break'> <![endif]><o:p></o:p></span></i></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l8 level1 lfo6;tab-stops:list .5in'><b style='mso-bidi-font-weight:normal'>Applications:</b></li> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l8 level2 lfo6;tab-stops:list 1.0in'><b style='mso-bidi-font-weight:normal'>Authentication:</b></li> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l8 level3 lfo6;tab-stops:list 1.5in'>Digital Signatures.<br> <i style='mso-bidi-font-style:normal'>Definitions and Constructions<o:p></o:p></i></li> <li class=MsoNormal style='mso-list:l8 level3 lfo6;tab-stops:list 1.5in'>Hash functions.</li> <li class=MsoNormal style='mso-list:l8 level3 lfo6;tab-stops:list 1.5in'>Message Authentication Codes.</li> <li class=MsoNormal style='mso-list:l8 level3 lfo6;tab-stops:list 1.5in'>Zero Knowledge-based <span class=GramE>Authentication</span><b style='mso-bidi-font-weight:normal'>.</b></li> </ol> </ol> </ul> <p class=MsoNormal style='margin-left:1.0in;text-indent:-.25in;mso-list:l4 level1 lfo7; tab-stops:list 1.0in'><![if !supportLists]><span style='font-size:10.0pt; mso-bidi-font-size:12.0pt;mso-bidi-font-family:"Times New Roman"'><span style='mso-list:Ignore'>1.<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Computing on Secret Inputs:</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> <ul style='margin-top:0in' type=disc> <ol style='margin-top:0in' start=1 type=1> <ol style='margin-top:0in' start=1 type=1> <li class=MsoNormal style='mso-list:l6 level3 lfo8;tab-stops:list 1.5in'>Secret Sharing.</li> <li class=MsoNormal style='mso-list:l6 level3 lfo8;tab-stops:list 1.5in'>Secure Computation. <br> <i style='mso-bidi-font-style:normal'>Oblivious Transfer.<br> General secure computation.</i><b style='mso-bidi-font-weight:normal'>&nbsp;</b></li> <li class=MsoNormal style='mso-list:l6 level3 lfo8;tab-stops:list 1.5in'>Fully <span class=SpellE>Homomorphic</span> Encryption.</li> </ol> </ol> </ul> <p class=MsoNormal style='margin-left:1.0in;text-indent:-.25in;mso-list:l4 level1 lfo7; tab-stops:list 1.0in'><![if !supportLists]><span style='font-size:10.0pt; mso-bidi-font-size:12.0pt;mso-bidi-font-family:"Times New Roman"'><span style='mso-list:Ignore'>2.<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span class=SpellE><b style='mso-bidi-font-weight: normal'><span style='mso-bidi-font-family:"Times New Roman"'>Composability</span></b></span><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>:</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> <p class=MsoNormal style='margin-left:1.5in;text-indent:-.25in;mso-list:l4 level2 lfo7; tab-stops:list 1.5in'><![if !supportLists]><i style='mso-bidi-font-style:normal'><span style='mso-bidi-font-family:"Times New Roman"'><span style='mso-list:Ignore'>1.<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span></i><![endif]><span class=SpellE><span style='mso-bidi-font-family:"Times New Roman"'>Composability</span></span><span style='mso-bidi-font-family:"Times New Roman"'> of Encryption schemes.</span><br> <i style='mso-bidi-font-style:normal'>Chosen challenge-text, Chosen <span class=GramE>plain-text</span>, Chosen cipher-text 1 and 2 (CCA1, CCA2). <br> Malleability. <o:p></o:p></i></p> <p class=MsoNormal style='margin-left:1.5in;text-indent:-.25in;mso-list:l4 level2 lfo7; tab-stops:list 1.5in'><![if !supportLists]><span style='mso-bidi-font-family: "Times New Roman"'><span style='mso-list:Ignore'>2.<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span class=SpellE><span style='mso-bidi-font-family: "Times New Roman"'>Composability</span></span><span style='mso-bidi-font-family: "Times New Roman"'> of Zero-Knowledge proofs.</span></p> <p class=MsoNormal style='margin-left:1.0in;text-indent:-.25in;mso-list:l4 level1 lfo7; tab-stops:list 1.0in'><![if !supportLists]><span style='font-size:10.0pt; mso-bidi-font-size:12.0pt;mso-bidi-font-family:"Times New Roman"'><span style='mso-list:Ignore'>3.<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Program Obfuscation/Functional Encryption</span></b></p> <p class=MsoNormal style='margin-left:1.5in'><span style='mso-bidi-font-family: "Times New Roman"'><o:p>&nbsp;</o:p></span></p> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Scribe Notes</h2> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Please note that scribe notes are only rough notes of the lectures. Scribers please follow <a href="template.tex">this template</a>. If you need help with <span class=SpellE>LaTeX</span>, here is a small <a href="latexExample.pdf">tutorial file</a> and <a href="latexExample.tex">its source</a>. Don t forget to hand in your <span class=SpellE>LaTeX</span> source as well along with your scribe!<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> <ul type=disc> <li class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; mso-list:l9 level1 lfo9;tab-stops:list .5in'><span style='font-family: Times;mso-bidi-font-family:"Times New Roman"'>Lecture 1: Introduction (Aug 26)<o:p></o:p></span></li> <li class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; mso-list:l9 level1 lfo9;tab-stops:list .5in'><span style='font-family: Times;mso-bidi-font-family:"Times New Roman"'>Lecture 2: Perfect Secrecy (Aug 28)<o:p></o:p></span></li> <li class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; mso-list:l9 level1 lfo9;tab-stops:list .5in'><span style='font-family: Times;mso-bidi-font-family:"Times New Roman"'>Lecture 3: Computationally Bounded Attackers and One-way Functions (<o:p></o:p></span></li> </ul> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><o:p>&nbsp;</o:p></h2> <h2 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Related Courses</h2> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l0 level1 lfo10;tab-stops:list .5in'><a href="http://www.cs.cornell.edu/courses/cs513/2007fa">CS 513: System Security. </a>This course discusses security and survivability for computers and communications networks. The course will include discussions of policy issues (e.g. the national debates on cryptography policy) as well as the discussions of the technical alternatives for implementing the properties that comprise &quot;trustworthiness&quot; in a computing system. Mechanisms for authorization and authentication as well as cryptographic protocols will be covered. </li> <li class=MsoNormal style='mso-list:l0 level1 lfo10;tab-stops:list .5in'><a href="http://www.cs.cornell.edu/courses/cs6810/2008sp/">CS 6810: Theory of Computation</a> This course gives an advanced treatment of theory of computation, computational-complexity theory, and other topics in computing theory.</li> <li class=MsoNormal style='mso-list:l0 level1 lfo10;tab-stops:list .5in'><a href="http://www.cs.cornell.edu/courses/cs4830/2008fa">CS 4830: Introduction Cryptography</a>. This course is an undergraduate introductory course to cryptography.</li> <li class=MsoNormal style='mso-list:l0 level1 lfo10;tab-stops:list .5in'><a href="http://www.cs.cornell.edu/~rafael/CryptobreakfastF09/cryptobreakfast.htm">CS 7832: Crypto breakfast.</a> This course is a <span class=GramE>cryptography reading</span> group focusing on advanced topics.</li> </ul> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><o:p>&nbsp;</o:p></span></p> </div> </body> </html>