ÿþ<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" xmlns:ns0="http://macVmlSchemaUri" xmlns:ns1="urn:schemas-microsoft-com:office:smarttags"> <head> <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="description_files/filelist.xml"> <title>18-739 Foundations of Security and Privacy</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Anupam Datta</o:Author> <o:Template>Normal</o:Template> <o:LastAuthor>Divya</o:LastAuthor> <o:Revision>143</o:Revision> <o:TotalTime>8138</o:TotalTime> <o:Created>2011-08-14T17:32:00Z</o:Created> <o:LastSaved>2011-12-05T06:36:00Z</o:LastSaved> <o:Pages>1</o:Pages> <o:Words>1821</o:Words> <o:Characters>10380</o:Characters> <o:Company>cylab</o:Company> <o:Lines>86</o:Lines> <o:Paragraphs>24</o:Paragraphs> <o:CharactersWithSpaces>12177</o:CharactersWithSpaces> <o:Version>14.00</o:Version> </o:DocumentProperties> <o:OfficeDocumentSettings> <o:AllowPNG/> </o:OfficeDocumentSettings> </xml><![endif]--> <link rel=themeData href="description_files/themedata.thmx"> <link rel=colorSchemeMapping href="description_files/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:Zoom>BestFit</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:BreakWrappedTables/> <w:DontGrowAutofit/> <w:SplitPgBreakAndParaMark/> </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="false" DefSemiHidden="false" DefQFormat="false" LatentStyleCount="267"> <w:LsdException Locked="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" 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" Priority="34" 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 Definitions */ @font-face {font-family:Wingdings; panose-1:5 0 0 0 0 0 0 0 0 0; mso-font-charset:2; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:0 268435456 0 0 -2147483648 0;} @font-face {font-family:Wingdings; panose-1:5 0 0 0 0 0 0 0 0 0; mso-font-charset:2; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:0 268435456 0 0 -2147483648 0;} @font-face {font-family:Cambria; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:-536870145 1073743103 0 0 415 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","serif"; 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","serif"; mso-fareast-font-family:"Times New Roman"; 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; mso-outline-level:3; font-size:13.5pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; 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","serif"; mso-fareast-font-family:"Times New Roman";} p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst {mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle {mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; 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:14.0pt; mso-bidi-font-size:14.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-fareast-font-family:"Times New Roman"; mso-hansi-font-family:Cambria; mso-bidi-font-family:"Times New Roman"; color:#365F91; font-weight:bold;} span.Heading3Char {mso-style-name:"Heading 3 Char"; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 3"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-fareast-font-family:"Times New Roman"; mso-hansi-font-family:Cambria; mso-bidi-font-family:"Times New Roman"; color:#4F81BD; font-weight:bold;} span.apple-style-span {mso-style-name:apple-style-span; mso-style-unhide:no;} span.SpellE {mso-style-name:""; mso-spl-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:18892815; mso-list-template-ids:858414910;} @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:40831579; mso-list-template-ids:-631077862;} @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:247809233; mso-list-template-ids:-1967779842;} @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:311101416; mso-list-template-ids:345392246;} @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:493112944; mso-list-type:hybrid; mso-list-template-ids:-93695534 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;} @list l4:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol;} @list l4:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l4:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l5 {mso-list-id:631789389; mso-list-template-ids:-1227296188;} @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:678778189; mso-list-type:hybrid; mso-list-template-ids:1973038326 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;} @list l6:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; 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:704061702; mso-list-template-ids:1441670460;} @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:1079205842; mso-list-template-ids:1723103066;} @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:1149321450; mso-list-template-ids:19834616;} @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-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l9:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l10 {mso-list-id:1285891749; mso-list-type:hybrid; mso-list-template-ids:1979891636 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;} @list l10:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol;} @list l10:level2 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:"Courier New";} @list l10:level3 {mso-level-number-format:bullet; mso-level-text:§ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Wingdings;} @list l10:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol;} @list l10:level5 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:"Courier New";} @list l10:level6 {mso-level-number-format:bullet; mso-level-text:§ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Wingdings;} @list l10:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol;} @list l10:level8 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:"Courier New";} @list l10:level9 {mso-level-number-format:bullet; mso-level-text:§ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Wingdings;} @list l11 {mso-list-id:1328435476; mso-list-template-ids:1842218482;} @list l11: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 l11:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l11:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l12 {mso-list-id:1586723540; mso-list-template-ids:-418074934;} @list l12: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 l12:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l12:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l13 {mso-list-id:1587228181; mso-list-template-ids:895108560;} @list l13: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 l13:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l13:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l14 {mso-list-id:1626539395; mso-list-template-ids:1636752330;} @list l14: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 l14:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l14:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l15 {mso-list-id:1638947743; mso-list-template-ids:926554920;} @list l15: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 l15:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l15:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} @list l16 {mso-list-id:1972593551; mso-list-template-ids:1167614902;} @list l16: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 l16:level2 {mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level3 {mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level4 {mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level5 {mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level6 {mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level7 {mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level8 {mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in;} @list l16:level9 {mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in;} 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","serif";} </style> <![endif]--> <meta name=Title content="18-739 Foundations of Security and Privacy"> <meta name=Keywords content=""> <!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="1026"/> </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=blue style='tab-interval:.5in'> <div class=WordSection1> <h1 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'><a href="http://www.ece.cmu.edu/%7Eece739/">18-739</a>  Foundations of Security and Privacy</h1> <h3 style='margin-top:.1pt;margin-right:0in;margin-bottom:.1pt;margin-left: 0in'>Schedule (subject to change)</h3> <table class=MsoNormalTable border=1 cellpadding=0 style='mso-cellspacing:1.5pt; mso-yfti-tbllook:1184;mso-padding-alt:0in 5.4pt 0in 5.4pt'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> <td width=214 style='width:160.55pt;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal align=center style='text-align:center'><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Date</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> <td style='padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal align=center style='text-align:center'><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Topic</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> <td style='padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal align=center style='text-align:center'><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Reading</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> <td style='padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal align=center style='text-align:center'><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>Notes</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:1' fgcolor=black> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Aug 30<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Course Overview <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-CourseOverview.ppt">[PPT]</a>[<a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-CourseOverview.pdf">PDF]</a><br> Cryptography: Cryptography Basic <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Cryptography1.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Cryptography1.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l11 level1 lfo1;tab-stops:list .5in'><a href="http://www.cmu.edu/policies/documents/Computing.htm">CMU Computing Policy</a></li> <li class=MsoNormal style='mso-list:l11 level1 lfo1;tab-stops:list .5in'><a href="http://www.cmu.edu/policies/documents/Cheating.html">CMU Policy on Cheating</a></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;All times below are PDT<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:2' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal align=center style='margin-left:.5in;text-align:center'><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>PROTOCOLS</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:3'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Sep1<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Introduction to Model Checking <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Model-Checking.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Model-Checking.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l9 level1 lfo2;tab-stops:list .5in'>Automated Analysis of Cryptographic Protocols Using <span class=SpellE>Murphi</span> [<a href="http://theory.stanford.edu/people/jcm/papers/murphi-protocols.ps">PS</a>]</li> <li class=MsoNormal style='mso-list:l9 level1 lfo2;tab-stops:list .5in'>Optional: Securing Frame Communication in Browsers [<a href="http://www.adambarth.com/papers/2009/barth-jackson-mitchell-cacm.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<span class=SpellE>Murphi</span> (<span class=SpellE>gcc</span> 4.2.x) [<a href="http://www.ece.cmu.edu/%7Eece739/Murphi/Murphi3.1_gcc4.2.zip">Murphi3.1_gcc4.2.zip</a>]<o:p></o:p></span></p> <p class=MsoNormal><span class=SpellE><span style='mso-bidi-font-family:"Times New Roman"'>Murphi</span></span><span style='mso-bidi-font-family:"Times New Roman"'> (<span class=SpellE>gcc</span> 4.3.x) [<a href="http://www.ece.cmu.edu/%7Eece739/Murphi/Murphi3.1_gcc4.3.zip">Murphi3.1_gcc4.3.zip</a>]<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:4'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Sep 6<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Model checking authenticated key exchange: SSL/TLS Case Study <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-SSL.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-SSL.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l0 level1 lfo3;tab-stops:list .5in'>Finite-State Analysis of SSL 3.0 [<a href="http://theory.stanford.edu/people/jcm/papers/ssl-usenix.ps">PS</a>] </li> <li class=MsoNormal style='mso-list:l0 level1 lfo3;tab-stops:list .5in'>Optional: Short Chosen-Prefix Collisions for MD5 and the Creation of a Rogue CA Certificate [<a href="http://deweger.xs4all.nl/papers/%5B41%5DStSoApLeMoOsdW-RogueCA-Crypto%5B2009%5D.pdf">PDF</a>] </li> <li class=MsoNormal style='mso-list:l0 level1 lfo3;tab-stops:list .5in'>Optional: Derivation of the JFK Protocol [<a href="http://www.andrew.cmu.edu/user/danupam/composition.ps">PS</a>] </li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;HW 1 handed out <a href="http://www.ece.cmu.edu/~ece739/Murphi/18739fall11hw1.pdf">[PDF]</a><o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><span style='mso-spacerun:yes'> </span>Model Files [<a href="http://www.ece.cmu.edu/~ece739/Murphi/18739Fall2011hw1.zip">18739Fall2011hw1.zip]</a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:5'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Sep 8<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Anonymous communication protocols <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Anonymous-Communication-Protocols.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Anonymous-Communication-Protocols.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l7 level1 lfo4;tab-stops:list .5in'>Untraceable Electronic Mail ... [<a href="http://gnunet.org/papers/p84-chaum.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l7 level1 lfo4;tab-stops:list .5in'>The Dining Cryptographers Problem& [<a href="http://www.ece.cmu.edu/~adrian/731-sp04/readings/dcnets.html">PDF</a>]</li> <li class=MsoNormal style='mso-list:l7 level1 lfo4;tab-stops:list .5in'>Tor: The Second-Generation Onion Router [<a href="http://tor.eff.org/svn/trunk/doc/design-paper/tor-design.pdf">PDF</a>] <o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:6'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Sep 13 (*)<o:p></o:p></span></p> <p class=MsoNormal><span class=SpellE><span style='mso-bidi-font-family:"Times New Roman"'>Lujo</span></span><span style='mso-bidi-font-family:"Times New Roman"'> Bauer<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Passwords I <a href="http://www.ece.cmu.edu/~ece739/lectures/2011-09-passwords-18739.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l11 level1 lfo1;tab-stops:list .5in'>Of Passwords and People: Measuring the Effect of Password-Composition Policies [<a href="http://www.ece.cmu.edu/~lbauer/papers/2011/chi2011-passwords.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:7'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Sep 15 (*)<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Jeremiah <span class=SpellE>Blocki</span><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Passwords II<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l9 level1 lfo2;tab-stops:list .5in'>TBD<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:8' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Sep 20 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Electronic Voting I <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Electronic-Voting-I.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Electronic-Voting-I.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l9 level1 lfo2;tab-stops:list .5in'><span class=SpellE>ThreeVotingProtocols</span>: <span class=SpellE>ThreeBallot</span>, VAV, and Twin [<a href="http://people.csail.mit.edu/rivest/RivestSmith-ThreeVotingProtocolsThreeBallotVAVAndTwin.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l9 level1 lfo2;tab-stops:list .5in'><span class=SpellE>Scantegrity</span> II Municipal Election at Takoma Park: The First E2E Binding Governmental Election with Ballot Privacy [<a href="http://people.csail.mit.edu/rivest/CarbackEtAl-ScantegrityIIMunicipalElectionAtTakomaPark.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;HW 1 due today 12:01 AM<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:9' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Sep 22 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Electronic Voting II <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Electronic-Voting-II.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Electronic-Voting-II.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l0 level1 lfo3;tab-stops:list .5in'>Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study [<a href="http://www.infsec.uni-trier.de/publications/paper/KuestersTruderungVogt-SP-2011.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l0 level1 lfo3;tab-stops:list .5in'>Proving Coercion-Resistance of <span class=SpellE>Scantegrity</span> II [<a href="http://www.infsec.uni-trier.de/publications/paper/KuestersTruderungVogt-ICICS-2010.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:10' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Sep 27 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Project Proposals<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Project proposals due<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:11' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Sep 29<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Introduction to Logic <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Intro-Logic.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l15 level1 lfo5;tab-stops:list .5in'>Background in Logic: <a href="http://plato.stanford.edu/entries/logic-classical/">Classical Logic</a>, Stanford Encyclopedia of Philosophy </li> <li class=MsoNormal style='mso-list:l15 level1 lfo5;tab-stops:list .5in'>Optional: Sections 3.1-3.4 of Dynamic Logic by <span class=SpellE>Harel</span>, <span class=SpellE>Kozen</span>, <span class=SpellE>Tiuryn</span> </li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 2 handed out <a href="http://www.ece.cmu.edu/~ece739/lectures/18739Fall2011hw2.pdf">[PDF]</a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:12' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Oct 4 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Protocol Logics: Protocol Composition Logic (PCL) I<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PCL-I.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PCL-I.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l15 level1 lfo5;tab-stops:list .5in'>Protocol Composition Logic (PCL) [<a href="http://www.andrew.cmu.edu/user/danupam/ddmr-pcl06.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l15 level1 lfo5;tab-stops:list .5in'>Optional: A Logic of Authentication [<a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6628">PDF</a>] </li> </ul> <p class=MsoNormal style='margin-left:.25in'><span style='mso-bidi-font-family: "Times New Roman"'><span style='mso-spacerun:yes'>      </span>BAN slides (Harper) [<a href="http://www.cs.cmu.edu/%7Erwh/courses/llsec/slides/ban-logic.pdf">PDF</a>] <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:13' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Oct 6 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Protocol Composition Logic (PCL) II <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PCL-II.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PCL-II.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l2 level1 lfo6;tab-stops:list .5in'>Protocol Composition Logic (PCL) [<a href="http://www.andrew.cmu.edu/user/danupam/ddmr-pcl06.pdf">PDF</a>] </li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:14' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Oct 11 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Introduction to Computational Cryptography <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Cryptography2.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Cryptography2.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l1 level1 lfo7;tab-stops:list .5in'><span class=SpellE>Bellare-Rogaway</span> Lecture Notes:<br> Chapter 1: [<a href="http://cseweb.ucsd.edu/users/mihir/cse207/w-intro.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l1 level1 lfo7;tab-stops:list .5in'>Chapter 4: [<a href="http://cseweb.ucsd.edu/users/mihir/cse207/w-se.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:15' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Oct 13<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Introduction to Computational Cryptography (<span class=SpellE>contd</span>) <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'></td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 2 due today before class <o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:16' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal align=center style='text-align:center'><b style='mso-bidi-font-weight:normal'><span style='mso-bidi-font-family:"Times New Roman"'>PRIVACY</span></b><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:17'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Oct 18 (*)<o:p></o:p></span></p> <p class=MsoNormal><span class=SpellE><span style='mso-bidi-font-family:"Times New Roman"'>Divya</span></span><span style='mso-bidi-font-family:"Times New Roman"'> Sharma<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Database Privacy: k-anonymity and de-<span class=SpellE>anonymization</span> attacks<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'><!-- <ul><li><a href=""></a>,</li></ul> --> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l3 level1 lfo8;tab-stops:list .5in'>Protecting Respondents' Identities in <span class=SpellE>Microdata</span> Release [<a href="http://seclab.dti.unimi.it/Papers/tkde_k-anonymity.pdf">PDF</a>] </li> <li class=MsoNormal style='mso-list:l3 level1 lfo8;tab-stops:list .5in'>Robust De-<span class=SpellE>anonymization</span> of Large Sparse Datasets (How to Break Anonymity of the Netflix Prize Dataset) [<a href="http://www.cs.utexas.edu/%7Eshmat/shmat_oak08netflix.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 3/Mid <span class=SpellE>Sem</span> handed out <a href="http://www.ece.cmu.edu/~ece739/lectures/18739midsem.pdf">[PDF]</a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:18' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Oct 20 (*)<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Cryptographic Soundness <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Computational-Soundness-I.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l3 level1 lfo8;tab-stops:list .5in'>Reconciling Two Views of Cryptography <br> (The Computational Soundness of Formal Encryption) [<a href="http://www.cs.ucdavis.edu/%7Erogaway/papers/equiv.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l3 level1 lfo8;tab-stops:list .5in'>Optional: Encryption-Scheme Security in the Presence of Key-Dependent Messages <a href="http://www.cs.ucdavis.edu/~rogaway/papers/kdm.pdf">[PDF]</a></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:19' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Oct 25 <o:p></o:p></span></p> </td> <td style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt;-moz-background-clip: border; -moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Cryptographic Soundness (contd.) <a href="http://www.ece.cmu.edu/~ece739/lectures/18739-CS-Proof.ppt">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739-CS-Proof.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l12 level1 lfo9;tab-stops:list .5in'>Optional: Completeness Theorems for the <span class=SpellE>Abadi-Rogaway</span> Language of Encrypted Expressions <a href="http://www.cs.bris.ac.uk/~bogdan/pdf/jcs.pdf">[PDF]</a></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 3/Mid <span class=SpellE>Sem</span> due before class<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:20' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Oct 27 (*)<o:p></o:p></span></p> <p class=MsoNormal><span class=SpellE><span style='mso-bidi-font-family:"Times New Roman"'>Arvind</span></span><span style='mso-bidi-font-family:"Times New Roman"'> Narayanan (Stanford)<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Privacy &amp; Online Advertising<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l8 level1 lfo10;tab-stops:list .5in'><span class=SpellE>Adnostic</span>: Privacy Preserving Targeted Advertising&nbsp;[<a href="http://crypto.stanford.edu/adnostic/">PDF</a>]</li> <li class=MsoNormal style='mso-list:l8 level1 lfo10;tab-stops:list .5in'><span class=SpellE>Privad</span>: Practical Privacy in Online Advertising [<a href="http://www.usenix.org/event/nsdi11/tech/full_papers/Guha.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'></td> </tr> <tr style='mso-yfti-irow:21' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Nov 1 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Specifying Privacy Policies: <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PrivacyOverview.pptx">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PrivacyOverview.pdf">[PDF]</a><o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Contextual Integrity &amp; Logics of Privacy <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PrivacyLogic.pptx">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-PrivacyLogic.pdf">[PDF]</a><o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Case study: HIPAA Privacy Rule<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l13 level1 lfo11;tab-stops:list .5in'>Privacy and Contextual Integrity: Framework and Applications [<a href="http://www.andrew.cmu.edu/user/danupam/bdmn-oakland06.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l13 level1 lfo11;tab-stops:list .5in'>Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws [<a href="http://www.andrew.cmu.edu/user/danupam/dgjkd-wpes2010.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-bidi-font-family:"Times New Roman"'>&nbsp;</span><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:22' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Nov 3 (*)<o:p></o:p></span></p> <p class=MsoNormal><span class=SpellE><span style='mso-bidi-font-family:"Times New Roman"'>Limin</span></span><span style='mso-bidi-font-family:"Times New Roman"'> <span class=SpellE>Jia</span><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Privacy Policy Enforcement through Audit<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Case study: HIPAA Privacy Rule <a href="http://www.ece.cmu.edu/~ece739/lectures/18739-Audit-lecture-2011-LJ.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'><!-- <ul><li><a href=""></a>,</li></ul> --> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l16 level1 lfo12;tab-stops:list .5in'>Policy Auditing over Incomplete Logs: Theory, Implementation and Applications <a href="http://www.andrew.cmu.edu/user/danupam/gjd-ccs2011.pdf">[PDF]</a></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'></td> </tr> <tr style='mso-yfti-irow:23' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Nov 8 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Learning to Audit to Protect Privacy <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Privacy-RMA.pptx">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-Privacy-RMA.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'><!-- <ul><li><a href=""></a>,</li></ul> --> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l14 level1 lfo13;tab-stops:list .5in'>Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection [<a href="http://www.andrew.cmu.edu/user/danupam/bcds-csf11.pdf">PDF</a>]</li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 4 handed out <a href="http://www.ece.cmu.edu/~ece739/lectures/18739hw4Fall11.pdf">[PDF]</a></span><span style='font-size:10.0pt;mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:24' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Nov 10 (*)<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Michael <span class=SpellE>Tschantz</span><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Purpose Restrictions in Privacy Policies: Semantics and Audit<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <h1 style='margin-left:.5in;text-indent:-.25in;mso-list:l10 level1 lfo14'><![if !supportLists]><span style='font-size:12.0pt;font-family:Symbol;mso-fareast-font-family:Symbol; mso-bidi-font-family:Symbol;mso-font-kerning:0pt;font-weight:normal'><span style='mso-list:Ignore'>·<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='font-size:12.0pt;mso-fareast-font-family: "Times New Roman";mso-font-kerning:0pt;font-weight:normal'>On the Semantics of Purpose Requirements in Privacy Policies </span><span style='font-size: 12.0pt;font-weight:normal;mso-bidi-font-weight:bold'><a href="http://arxiv.org/abs/1102.4326">[PDF]</a></span><span style='font-size: 12.0pt;mso-fareast-font-family:"Times New Roman";mso-font-kerning:0pt; font-weight:normal'><o:p></o:p></span></h1> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:25' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Nov 15 <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Database Privacy: Differential Privacy <o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-DifferentialPrivacy.pptx">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-DifferentialPrivacy.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l12 level1 lfo9;tab-stops:list .5in'>Differential Privacy [<a href="http://research.microsoft.com/en-us/projects/databaseprivacy/dwork.pdf">PDF</a>]</li> <li class=MsoNormal style='mso-list:l12 level1 lfo9;tab-stops:list .5in'>Optional: Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders [<a href="http://research.microsoft.com/pubs/80511/NetflixPrivacy.pdf">PDF</a>]</li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:26' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Nov 17 (*)<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Aleksandra <span class=SpellE>Korolova</span> (Stanford)<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Privacy in Social Networks <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l5 level1 lfo15;tab-stops:list .5in'>Privacy Violations Using <span class=SpellE>Microtargeted</span> Ads: A Case Study [<a href="http://repository.cmu.edu/cgi/viewcontent.cgi?article=1066&amp;context=jpc">PDF</a>]</li> <li class=MsoNormal style='mso-list:l5 level1 lfo15;tab-stops:list .5in'>Personalized Social Recommendations - Accurate or Private? [<a href="http://theory.stanford.edu/~korolova/Personalized_social_recommendations_accurate_or_private.pdf">PDF</a>]<o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 4 due today before class<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:27' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Nov 22 (*)<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Jing Wang (</span>Booz Allen<span style='mso-bidi-font-family:"Times New Roman"'>) <o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Health Information Privacy and Security: An Industry Perspective <o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-emerging-healthcareJW.pptx">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-emerging-healthcareJW.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoListParagraph style='text-indent:-.25in;mso-list:l6 level1 lfo16'><![if !supportLists]><span style='font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family: Symbol'><span style='mso-list:Ignore'>·<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span style='mso-bidi-font-family:"Times New Roman"'>TBD<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:28' fgcolor=white> <td valign=top style='background:yellow;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Nov 24<o:p></o:p></span></p> </td> <td valign=top style='background:yellow;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>No class university holiday<o:p></o:p></span></p> </td> <td valign=top style='background:yellow;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> <td valign=top style='background:yellow;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='font-size:10.0pt;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p>&nbsp;</o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:29' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Nov 29 (*)<o:p></o:p></span></p> <p class=MsoNormal><span class=SpellE>Ashwin</span> <span class=SpellE>Machanavajjhala</span></p> <p class=MsoNormal>(Yahoo! Research)<span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>No Free Lunch in Data Privacy<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-CMU_privacy_lectureAM.pptx">[PPT]</a> <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-CMU_privacy_lectureAM.pdf">[PDF]</a><o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l1 level1 lfo7;tab-stops:list .5in'>No Free Lunch in Data Privacy <a href="http://research.yahoo.com/pub/3484">[PDF]</a></li> <li class=MsoNormal style='mso-list:l1 level1 lfo7;tab-stops:list .5in'>Optional: Data Publishing against Realistic Adversaries <a href="http://research.yahoo.com/pub/2850">[PDF]</a><o:p></o:p></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:30' fgcolor=black> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Dec 1<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Advanced Topics and Current Research<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l4 level1 lfo17'>&nbsp;Towards a Formal Model of Accountability <a href="http://dimacs.rutgers.edu/~adj/accountability/papers/fjw11nspw-final.pdf">[PDF]</a><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></li> </ul> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='font-size:10.0pt;mso-bidi-font-family:"Times New Roman"'>&nbsp;</span><span style='mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:31'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Tue Dec 6 (Students)<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Project presentations<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'><!-- <ul><li><a href=""></a>,</li></ul> --> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Project models/code &amp; report due today 12:01 AM<o:p></o:p></span></p> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 5/End <span class=SpellE>Sem</span> handed out on Dec 5 (due Tue Dec 8) <a href="http://www.ece.cmu.edu/~ece739/lectures/18739A-final_exam.pdf">[PDF]</a><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:32' fgcolor=white> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Thu Dec 8 (Students)<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>Project presentations/Wrap up<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>HW 5/End <span class=SpellE>Sem</span> due today <o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:33;mso-yfti-lastrow:yes'> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> <td valign=top style='background:lightblue;padding:1.5pt 1.5pt 1.5pt 1.5pt; -moz-background-clip: border;-moz-background-origin: padding;-moz-background-inline-policy: continuous; background-position-x:0%;background-position-y: 0%;background-attachment: scroll'> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'>&nbsp;<o:p></o:p></span></p> </td> </tr> </table> <p class=MsoNormal><span style='mso-bidi-font-family:"Times New Roman"'><span style='mso-spacerun:yes'> </span><o:p></o:p></span></p> </div> </body> </html> e='mso-spacerun:yes'>&nbsp;</span></p> </div> </body>