ÿþ<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="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 12"> <meta name=Originator content="Microsoft Word 12"> <link rel=File-List href="sp09-seminar_files/filelist.xml"> <link rel=Edit-Time-Data href="sp09-seminar_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>Seminar in Cryptographic Protocols Computer Security </title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>canetti</o:Author> <o:Template>Normal</o:Template> <o:LastAuthor>canetti</o:LastAuthor> <o:Revision>7</o:Revision> <o:TotalTime>1578</o:TotalTime> <o:Created>2009-03-25T16:06:00Z</o:Created> <o:LastSaved>2009-06-09T21:18:00Z</o:LastSaved> <o:Pages>4</o:Pages> <o:Words>1360</o:Words> <o:Characters>7757</o:Characters> <o:Company> </o:Company> <o:Lines>64</o:Lines> <o:Paragraphs>18</o:Paragraphs> <o:CharactersWithSpaces>9099</o:CharactersWithSpaces> <o:Version>12.00</o:Version> </o:DocumentProperties> </xml><![endif]--> <link rel=themeData href="sp09-seminar_files/themedata.thmx"> <link rel=colorSchemeMapping href="sp09-seminar_files/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:Zoom>125</w:Zoom> <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>HE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables/> <w:SnapToGridInCell/> <w:WrapTextWithPunct/> <w:UseAsianBreakRules/> <w:DontGrowAutofit/> <w:SplitPgBreakAndParaMark/> <w:DontVertAlignCellWithSp/> <w:DontBreakConstrainedForcedTables/> <w:DontVertAlignInTxbx/> <w:Word11KerningPairs/> <w:CachedColBalance/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> <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="true" DefSemiHidden="true" DefQFormat="false" DefPriority="99" LatentStyleCount="267"> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" Priority="39" Name="toc 1"/> <w:LsdException Locked="false" Priority="39" Name="toc 2"/> <w:LsdException Locked="false" Priority="39" Name="toc 3"/> <w:LsdException Locked="false" Priority="39" Name="toc 4"/> <w:LsdException Locked="false" Priority="39" Name="toc 5"/> <w:LsdException Locked="false" Priority="39" Name="toc 6"/> <w:LsdException Locked="false" Priority="39" Name="toc 7"/> <w:LsdException Locked="false" Priority="39" Name="toc 8"/> <w:LsdException Locked="false" Priority="39" Name="toc 9"/> <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/> <w:LsdException Locked="false" Priority="10" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Title"/> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> <w:LsdException Locked="false" Priority="11" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" Priority="22" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" Priority="20" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" Priority="59" SemiHidden="false" UnhideWhenUsed="false" Name="Table Grid"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> <w:LsdException Locked="false" Priority="34" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> </w:LatentStyles> </xml><![endif]--> <link rel=Stylesheet type="text/css" media=all href="sp09-seminar_files/style-sp09-sadna.htm"> <style> <!-- /* Font Definitions */ @font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:1; mso-generic-font-family:roman; mso-font-format:other; mso-font-pitch:variable; mso-font-signature:0 0 0 0 0 0;} @font-face {font-family:Calibri; panose-1:2 15 5 2 2 2 4 3 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-1610611985 1073750139 0 0 159 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:swiss; mso-font-pitch:variable; mso-font-signature:1627400839 -2147483648 8 0 66047 0;} @font-face {font-family:"Comic Sans MS"; panose-1:3 15 7 2 3 3 2 2 2 4; mso-font-charset:0; mso-generic-font-family:script; mso-font-pitch:variable; mso-font-signature:647 0 0 0 159 0;} @font-face {font-family:Verdana; panose-1:2 11 6 4 3 5 4 4 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:536871559 0 0 0 415 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} h1 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 1 Char"; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; mso-outline-level:1; font-size:24.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h2 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 2 Char"; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; mso-outline-level:2; font-size:18.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} a:link, span.MsoHyperlink {mso-style-noshow:yes; mso-style-priority:99; color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {mso-style-noshow:yes; mso-style-priority:99; color:purple; text-decoration:underline; text-underline:single;} p {mso-style-noshow:yes; mso-style-priority:99; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoAcetate, li.MsoAcetate, div.MsoAcetate {mso-style-noshow:yes; mso-style-priority:99; mso-style-link:"Balloon Text Char"; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:8.0pt; font-family:"Tahoma","sans-serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} span.Heading1Char {mso-style-name:"Heading 1 Char"; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 1"; mso-ansi-font-size:14.0pt; mso-bidi-font-size:14.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#365F91; mso-themecolor:accent1; mso-themeshade:191; font-weight:bold;} span.Heading2Char {mso-style-name:"Heading 2 Char"; mso-style-noshow:yes; mso-style-priority:9; 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:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; mso-themecolor:accent1; font-weight:bold;} span.BalloonTextChar {mso-style-name:"Balloon Text Char"; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Balloon Text"; mso-ansi-font-size:8.0pt; mso-bidi-font-size:8.0pt; font-family:"Tahoma","sans-serif"; mso-ascii-font-family:Tahoma; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Tahoma; mso-bidi-font-family:Tahoma;} .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 Section1 {size:595.3pt 841.9pt; margin:72.0pt 90.0pt 72.0pt 90.0pt; mso-header-margin:35.4pt; mso-footer-margin:35.4pt; mso-paper-source:0;} div.Section1 {page:Section1;} /* List Definitions */ @list l0 {mso-list-id:41173705; mso-list-template-ids:-1091828290;} @list l0:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l0:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1 {mso-list-id:419446682; mso-list-template-ids:1874885784;} @list l1:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l1:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2 {mso-list-id:468979042; mso-list-template-ids:652646792;} @list l2:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l2:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3 {mso-list-id:744107591; mso-list-template-ids:96998534;} @list l3:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l3:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l3:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4 {mso-list-id:992023661; mso-list-template-ids:-1556597536;} @list l4:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l4:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5 {mso-list-id:1103304158; mso-list-template-ids:1492305246;} @list l5:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l5:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6 {mso-list-id:1348749956; mso-list-template-ids:-314561152;} @list l6:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l6:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7 {mso-list-id:1417481574; mso-list-template-ids:1972265862;} @list l7:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l7:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l7:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8 {mso-list-id:1518613144; mso-list-template-ids:752629634;} @list l8:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l8:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l8:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9 {mso-list-id:1661617988; mso-list-template-ids:-1680706906;} @list l9:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l9:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l9:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10 {mso-list-id:1669941057; mso-list-template-ids:2086185758;} @list l10:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:36.0pt; mso-level-number-position:left; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l10:level2 {mso-level-tab-stop:72.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level3 {mso-level-tab-stop:108.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level4 {mso-level-tab-stop:144.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level5 {mso-level-tab-stop:180.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level6 {mso-level-tab-stop:216.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level7 {mso-level-tab-stop:252.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level8 {mso-level-tab-stop:288.0pt; mso-level-number-position:left; text-indent:-18.0pt;} @list l10:level9 {mso-level-tab-stop:324.0pt; mso-level-number-position:left; text-indent:-18.0pt;} ol {margin-bottom:0cm;} ul {margin-bottom:0cm;} --> </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-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif";} </style> <![endif]--><!-- saved from url=(0034)http://theory.csail.mit.edu/ --><!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="5122"/> </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 lang=EN-US link=blue vlink=purple style='tab-interval:36.0pt'> <div class=Section1> <table class=MsoNormalTable border=0 cellspacing=40 cellpadding=0 width="100%" style='width:100.0%;mso-cellspacing:30.0pt;mso-yfti-tbllook:1184;mso-padding-alt: 0cm 5.4pt 0cm 5.4pt'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> <td style='padding:0cm 0cm 0cm 0cm'></td> <td valign=top style='padding:0cm 0cm 0cm 0cm'> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </td> <td valign=top style='padding:0cm 0cm 0cm 0cm'> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </td> </tr> <tr style='mso-yfti-irow:1;mso-yfti-lastrow:yes'> <td valign=top style='padding:0cm 0cm 0cm 0cm'> <p class=MsoNormal><br> <a href="http://www.cs.tau.ac.il/"><span style='mso-no-proof:yes;text-decoration: none;text-underline:none'><img border=0 width=800 height=120 id="_x0000_i1025" src="sp09-seminar_files/tau-cs.gif"></span></a></p> <p class=MsoNormal align=center style='margin-bottom:12.0pt;text-align:center'><o:p>&nbsp;</o:p></p> <h2 align=center style='text-align:center'>0368-4165-01 </h2> <p align=center style='text-align:center'><b><span style='font-size:18.0pt'>Spring 2009 <o:p></o:p></span></b></p> <h1 align=center style='text-align:center'>Seminar in Cryptographic Protocols </h1> <p class=MsoNormal align=center style='text-align:center'><o:p>&nbsp;</o:p></p> <p><font-size="12"><b>Mondays 13-15 <o:p></o:p></b></p> <p><b><u></font-size="12">Instructor:</u>&nbsp; <a href="http://www.cs.tau.ac.il/%7Ecanetti">Ran Canetti</a> <o:p></o:p></b></p> <p style='margin-bottom:12.0pt'><b><u>Note:</u>&nbsp; On Monday, March 15 there will be no meeting. A makeup meeting will take place Friday, March 20, 10-12. <o:p></o:p></b></p> <p><b><u>General</u> <o:p></o:p></b></p> <p><b>Cryptographic protocols are algorithms that allow parties to communicate and collaborate in untrusted environments. They include algorithms that protect against external attackers, as well as algorithms for collaboration with untrusted peers. Besides being fascinating in of themselves, cryptographic protocols provide essential building blocks in the design of secure systems. This seminar will cover some aspects of cryptographic protocols, with the purpose of bringing students up to speed with the state of the art and enabling them to perform independent research. <o:p></o:p></b></p> <p><b><u>Required background</u> <o:p></o:p></b></p> <p style='margin-bottom:12.0pt'><b>An introductory graduate course in cryptography (such as the <a href="http://www.cs.tau.ac.il/%7Ecanetti/f08.html">one given last semester at TAU</a>) is highly recommended. If you haven't taken such a course please contact Ran. <o:p></o:p></b></p> <p><b><u>Format</u> <o:p></o:p></b></p> <p><b>Most lectures will be given by the students. Preparing for the lecture will involve: <o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l8 level1 lfo1;tab-stops:list 36.0pt'><b>Reading the relevant material. <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l8 level1 lfo1;tab-stops:list 36.0pt'><b>Preparing a presentation. (Slides are recommended but not mandatory.) <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l8 level1 lfo1;tab-stops:list 36.0pt'><b>Meeting with Ran during the week prior to the presentation to go over the presentation, and fixing it accordingly. <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l8 level1 lfo1;tab-stops:list 36.0pt'><b>Presenting in class. <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l8 level1 lfo1;tab-stops:list 36.0pt'><b>Preparing a written summary of the presentation to be posted online. (In case of a slides presentation, the slides themselves can double up as the summary.) <o:p></o:p></b></li> </ul> <p class=MsoNormal><b><o:p>&nbsp;</o:p></b></p> <p><b><br> <u>Lecture Topics</u> <o:p></o:p></b></p> <p><b>Below is a list of lecture topics for students to pick from. The lectures to be given and their order will be decided in the first two meetings, based on the makeup of the class and the preferences of the students. <o:p></o:p></b></p> <p><b>Some lectures are bunched under a single topic. These lectures are best given in sequence, in the specified order. Some ordering between the topic is also best kept. Otherwise lectures can be presented at any order. In any case, each bullet corresponds to a lecture. <o:p></o:p></b></p> <p><b>In much of the list below only the original papers are mentioned. Often the covered material has better or alternative descriptions in later papers. There may also be presentation materials available online. You are encouraged to use all of these to improve your understanding and your presentation. <o:p></o:p></b></p> <p><b><u>Composition and round complexity of Zero-Knowledge protocols </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l0 level1 lfo2;tab-stops:list 36.0pt'><b><a href="http://www.wisdom.weizmann.ac.il/%7Eoded/PS/zk-comp.ps">On the Composition of Zero-Knowledge Proof Systems </a><br> Oded Goldreich, Hugo Krawczyk <br> SIAM Journal on Computing <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l0 level1 lfo2;tab-stops:list 36.0pt'><b><a href="http://www.wisdom.weizmann.ac.il/%7Eoded/PS/zkAK.ps">How to Construct Constant-Round Zero-Knowledge Proof Systems for NP </a><br> O. Goldreich and A. Kahan, <o:p></o:p></b></li> </ul> <p style='margin-left:36.0pt'><b><a href="http://theory.lcs.mit.edu/%7Ealon/PAPERS/simpleZK/simpleZK.ps.gz">A note on constant-round zero-knowledge proofs for NP </a><br> Alon Rosen <br> TCC 2004 <o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l5 level1 lfo3;tab-stops:list 36.0pt'><b>On the Concurrent Composition of Zero-Knowledge Proofs <br> Ransom Richardson, Joe Kilian <br> EUROCRYPT 1999: 415-431 <o:p></o:p></b></li> </ul> <p style='margin-left:36.0pt'><b>On Constant-Round Concurrent Zero Knowledge. <br> R. Pass and M. Venkitasubramaniam <br> TCC 2008 <o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l3 level1 lfo4;tab-stops:list 36.0pt'><b>How to Go Beyond the Black-Box Simulation Barrier <br> Boaz Barak <br> FOCS 2001 106-115 <o:p></o:p></b></li> </ul> <p><b><u>Non-Interactive Zero Knowledge and CCA-secure encryption </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l7 level1 lfo5;tab-stops:list 36.0pt'><b>Multiple Non-Interactive Zero Knowledge Proofs Under General Assumptions. <br> Uriel Feige, Dror Lapidot, Adi Shamir <br> SIAM J. Comput. 29(1): 1-28 (1999)IZK: FLS <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l7 level1 lfo5;tab-stops:list 36.0pt'><b>Robust Non-interactive Zero Knowledge. <br> Alfredo De Santis, Giovanni Di Crescenzo, Rafail Ostrovsky, Giuseppe Persiano, Amit Sahai <br> CRYPTO 2001: 566-598 <o:p></o:p></b></li> </ul> <p style='margin-left:36.0pt'><b>Y. Lindell. A Simpler Construction of CCA2-Secure Public-Key Encryption Under General Assumptions. In the Journal of Cryptology, 19(3):359-377, 2006. <o:p></o:p></b></p> <p><b><u>Identity-based and CCA-secure encryption </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l4 level1 lfo6;tab-stops:list 36.0pt'><b>Identity based encryption from the Weil pairing <br> D. Boneh and M. Franklin <br> SIAM J. of Computing, Vol. 32, No. 3, pp. 586-615, 2003. <o:p></o:p></b></li> </ul> <p style='margin-left:36.0pt'><b><a href="http://www.cs.tau.ac.il/%7Ecanetti/materials/bchk06.pdf">Chosen-Ciphertext Security from Identity-Based Encryption. </a><br> D. Boneh, R. Canetti, S. Halevi, and J. Katz. <br> SIAM J. Comput., 36(5): 1301-1328 (2007) <o:p></o:p></b></p> <p><b><u>Non-malleable commitments </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l9 level1 lfo7;tab-stops:list 36.0pt'><b><a href="http://www.cs.cornell.edu/%7Erafael/papers/concnmc-owf.pdf">Concurrent Non-malleable Commitments from One-way Functions </a><br> H. Lin, R. Pass and M. Venkitasubramaniam <br> TCC 2008 <o:p></o:p></b></li> </ul> <p><b><u>Multi-party computation and Universally Composable security </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l10 level1 lfo8;tab-stops:list 36.0pt'><b>Universally Composable Security: A New Paradigm for Cryptographic Protocols <br> Ran Canetti <br> Cryptology ePrint Archive: Report 2000/067 <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l10 level1 lfo8;tab-stops:list 36.0pt'><b><a href="http://portal.acm.org/ft_gateway.cfm?id=62213&amp;type=pdf&amp;coll=GUIDE&amp;dl=GUIDE&amp;CFID=23698276&amp;CFTOKEN=66850282">Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation </a><br> Michael Ben-Or Shafi Goldwasser Avi Wigderson <br> STOC 1988 <o:p></o:p></b></li> </ul> <p style='margin-left:36.0pt'><b>Simplified VSS and Fact-Track Multi-party Computations with Applications to Threshold Cryptography. <br> Rosario Gennaro, Michael O. Rabin, Tal Rabin: <br> PODC 1998: 101-111 <o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l1 level1 lfo9;tab-stops:list 36.0pt'><b>Universally Composable Commitments. <br> R. Canetti and M. Fischlin. Crypto, 2001. Long version at <a href="http://eprint.iacr.org/2001/055">eprint.iacr.org/2001/055. </a><o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l1 level1 lfo9;tab-stops:list 36.0pt'><b>Universally composable two-party and multi-party secure computation. <br> R. Canetti, Y. Lindell, R. Ostrovsky, A. Sahai. <br> 34th STOC, 2002. Longer version at <a href="http://eprint.iacr.org/2002/140">eprint.iacr.org/2002/140. </a><o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l1 level1 lfo9;tab-stops:list 36.0pt'><b>Universally Composable Security with Pre-Existing Setup. <br> R. Canetti, Y. Dodis, R. Pass and S. Walfish. <br> TCC 2007. Long version at <a href="http://eprint.iacr.org/2006/432">eprint.iacr.org/2006/432. </a><o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l1 level1 lfo9;tab-stops:list 36.0pt'><b>Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. <br> R. Canetti and J. Herzog. <br> TCC 2006: 380-403. Long version at <a href="http://eprint.iacr.org/2004/334">eprint.iacr.org/2004/334. </a><o:p></o:p></b></li> </ul> <p><b><u>Pseudorandom generators from one-way functions </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l2 level1 lfo10;tab-stops:list 36.0pt'><b><a href="http://www.springerlink.com/content/p543675772070480/fulltext.pdf">Pseudorandom Generators from One-Way Functions: A Simple Construction for Any Hardness </a><br> Thomas Holenstein <br> TCC 2006 <o:p></o:p></b></li> </ul> <p><b><u>Program Obfuscation </u><o:p></o:p></b></p> <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='mso-list:l6 level1 lfo11;tab-stops:list 36.0pt'><b>On the (Im)possibility of Obfuscating Programs <br> Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan and Ke Yang <br> Crypto 2001 <br> http://www.math.ias.edu/~boaz/Papers/obfuscate.ps <o:p></o:p></b></li> <li class=MsoNormal style='mso-list:l6 level1 lfo11;tab-stops:list 36.0pt'><b>Towards realizing random oracles: Hash functions that hide all partial information. <br> R. Canetti. <br> Crypto, 1997. Longer version available at <a href="http://eprint.iacr.org/1997/007">eprint.iacr.org/1997/007 </a>. <o:p></o:p></b></li> </ul> <p class=MsoNormal style='margin-left:36.0pt'><b><o:p>&nbsp;</o:p></b></p> <p class=MsoNormal><b><u>Schedule of talks and presentation materials</u><o:p></o:p></b></p> <p class=MsoNormal align=center style='text-align:center'><o:p>&nbsp;</o:p></p> <table class=MsoNormalTable border=1 cellpadding=0 width=869 style='width:23.0cm;mso-cellspacing:1.5pt;margin-left:19.25pt;border:outset 1.5pt; mso-yfti-tbllook:1184;mso-padding-alt:0cm 5.4pt 0cm 5.4pt'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> <td width=45 valign=top style='width:33.5pt;background:#66FFFF;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>No.<o:p></o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:#66FFFF;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>Date<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:#66FFFF; padding:1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial;-moz-background-inline-policy: -moz-initial; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal>Topic<o:p></o:p></p> </td> <td width=89 valign=top style='width:66.65pt;background:#66FFFF;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>Speaker<o:p></o:p></p> </td> <td width=70 valign=top style='width:52.6pt;background:#66FFFF;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>Materials</p> </td> </tr> <tr style='mso-yfti-irow:1'> <td width=45 valign=top style='width:33.5pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>1<o:p></o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>2.3.<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:white;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>Review of Zero-Knowledge (ZK),&nbsp; Triviality of&nbsp; 3-round&nbsp; Black-Box ZK: The Goldreich-Krawczyk bound <o:p></o:p></p> </td> <td width=89 valign=top style='width:66.65pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>Ran Canetti<o:p></o:p></p> </td> <td width=70 valign=top style='width:52.6pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </td> </tr> <tr style='mso-yfti-irow:2'> <td width=45 valign=top style='width:33.5pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>2<o:p></o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>9.3.<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:white;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>ZK protocols for NP with constant number of rounds : The Goldreich-Kahan and Rosen protocols<o:p></o:p></p> </td> <td width=89 valign=top style='width:66.65pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:10.0pt;font-family:"Verdana","sans-serif"'>Dima Sotnikov<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/%7Ecanetti/materials/sp09-sem-lec2-notes.pdf"><span style='color:windowtext'>notes</span></a><o:p></o:p></span></p> <p class=MsoNormal><span style='font-size:10.0pt;font-family:"Verdana","sans-serif"; color:#009900'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='font-size:10.0pt;font-family:"Verdana","sans-serif"; color:#009900'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/%7Ecanetti/materials/sp09-sem-lec2-slides.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> <p class=MsoNormal><span style='font-size:10.0pt;font-family:"Verdana","sans-serif"; color:#009900'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='font-size:10.0pt;font-family:"Verdana","sans-serif"; color:#009900'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:3'> <td width=45 valign=top style='width:33.5pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>3<o:p></o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>23.3.<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:white;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Concurrent ZK: Lower bounds and protocols<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Omer Paneth<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/%7Ecanetti/materials/sp09-sem-czk.ppt"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:4'> <td width=45 valign=top style='width:33.5pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>4<o:p></o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>30.3.<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:white;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Non-Black-Box ZK:&nbsp; The Barak&nbsp; protocol<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Asaf Porat<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/%7Ecanetti/materials/sp09-sem-lec4.ppt"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:5'> <td width=45 valign=top style='width:33.5pt;background:#FFFFCC;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:#FFFFCC;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>.<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:#FFFFCC; padding:1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial;-moz-background-inline-policy: -moz-initial; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal>Pesach Vacation<o:p></o:p></p> </td> <td width=89 valign=top style='width:66.65pt;background:#FFFFCC;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-family:"Comic Sans MS"'><o:p>&nbsp;</o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;background:#FFFFCC;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-family:"Comic Sans MS"'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:6'> <td width=45 valign=top style='width:33.5pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>5<o:p></o:p></p> </td> <td width=92 valign=top style='width:68.7pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal>20.4.<o:p></o:p></p> </td> <td width=562 valign=top style='width:421.6pt;background:white;padding: 1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Non-Interactive ZK (NIZK):&nbsp; The Feige-Lapidot-Shamir protocol <o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Ben Riva<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;background:white;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: -moz-initial;-moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;background-position-x:0%; background-position-y:0%;background-attachment:scroll'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec5.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:7'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>6</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>27.4.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Robust&nbsp; NIZK&nbsp; and CCA-secure encryption<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Roy Kasher<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec6.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:8'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>7</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>4.5.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Identity-Based Encryption and CCA-secure encryption<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Ilia Lotosh<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec7.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:9'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>8</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>11.5.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Non-Malleable Commitments: The&nbsp; Dolev-Dwork-Naor </span>and&nbsp; Lin-Pass-Venkitasubramaniam<span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'> protocols<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Rita Vald<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec8.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:10'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>9</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>15.5.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Universally Composable (UC) Security: The basic framework and composition theorem<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Ran Canetti<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec9.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:11'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>10</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>25.5.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>UC secure computation with honest majority: The BenOr-Goldwasser-Wigderson protocol<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>MichaelHakimi<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec10.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:12'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>11</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>1.6.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>UC commitments and general secure computation<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Daniel Shahaf<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec11.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:13'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>12</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>8.6.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Program obfuscation:&nbsp; Practical background, definitions, general impossibility <o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Omer Singer<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec12.pptx"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:14'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>13</p> </td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal>15.6.</p> </td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Perfect One Way hashing and obfuscation of point functions<o:p></o:p></span></p> </td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'>Nir Bitansky<o:p></o:p></span></p> </td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><a href="http://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec13.pdf"><span style='color:windowtext'>slides</span></a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:15;mso-yfti-lastrow:yes'> <td width=45 valign=top style='width:33.5pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'></td> <td width=92 valign=top style='width:68.7pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'></td> <td width=562 valign=top style='width:421.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'></td> <td width=89 valign=top style='width:66.65pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'></td> <td width=70 valign=top style='width:52.6pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><o:p>&nbsp;</o:p></span></p> </td> </tr> </table> <p class=MsoNormal style='margin-bottom:12.0pt'><b><br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br> <br style='mso-special-character:line-break'> <![if !supportLineBreakNewLine]><br style='mso-special-character:line-break'> <![endif]><o:p></o:p></b></p> </td> <td valign=top style='padding:0cm 0cm 0cm 0cm'> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </td> <td valign=top style='padding:0cm 0cm 0cm 0cm'> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </td> </tr> </table> <p class=MsoNormal><o:p>&nbsp;</o:p></p> </div> </body> </html>