<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
        {font-family:Cambria;
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Tahoma;
        panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
h1
        {mso-style-priority:9;
        mso-style-link:"Heading 1 Char";
        margin-top:24.0pt;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";}
h1.CxSpFirst
        {mso-style-priority:9;
        mso-style-link:"Heading 1 Char";
        mso-style-type:export-only;
        margin-top:24.0pt;
        margin-right:0in;
        margin-bottom:0in;
        margin-left:0in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";}
h1.CxSpMiddle
        {mso-style-priority:9;
        mso-style-link:"Heading 1 Char";
        mso-style-type:export-only;
        margin:0in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";}
h1.CxSpLast
        {mso-style-priority:9;
        mso-style-link:"Heading 1 Char";
        mso-style-type:export-only;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";}
h2
        {mso-style-priority:9;
        mso-style-link:"Heading 2 Char";
        margin-top:10.0pt;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:13.0pt;
        font-family:"Cambria","serif";}
h3
        {mso-style-priority:9;
        mso-style-link:"Heading 3 Char";
        margin-top:10.0pt;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        line-height:110%;
        font-size:10.0pt;
        font-family:"Cambria","serif";}
h4
        {mso-style-priority:9;
        mso-style-link:"Heading 4 Char";
        margin-top:10.0pt;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:10.0pt;
        font-family:"Cambria","serif";
        font-style:italic;}
h5
        {mso-style-priority:9;
        mso-style-link:"Heading 5 Char";
        margin-top:10.0pt;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:10.0pt;
        font-family:"Cambria","serif";
        color:#7F7F7F;}
h6
        {mso-style-priority:9;
        mso-style-link:"Heading 6 Char";
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        line-height:110%;
        font-size:10.0pt;
        font-family:"Cambria","serif";
        color:#7F7F7F;
        font-style:italic;}
p.MsoHeading7, li.MsoHeading7, div.MsoHeading7
        {mso-style-priority:9;
        mso-style-link:"Heading 7 Char";
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:10.0pt;
        font-family:"Cambria","serif";
        font-style:italic;}
p.MsoHeading8, li.MsoHeading8, div.MsoHeading8
        {mso-style-priority:9;
        mso-style-link:"Heading 8 Char";
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:10.0pt;
        font-family:"Cambria","serif";}
p.MsoHeading9, li.MsoHeading9, div.MsoHeading9
        {mso-style-priority:9;
        mso-style-link:"Heading 9 Char";
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:10.0pt;
        font-family:"Cambria","serif";
        letter-spacing:.25pt;
        font-style:italic;}
p.MsoTitle, li.MsoTitle, div.MsoTitle
        {mso-style-priority:10;
        mso-style-link:"Title Char";
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        mso-add-space:auto;
        font-size:26.0pt;
        font-family:"Cambria","serif";
        letter-spacing:.25pt;}
p.MsoTitleCxSpFirst, li.MsoTitleCxSpFirst, div.MsoTitleCxSpFirst
        {mso-style-priority:10;
        mso-style-link:"Title Char";
        mso-style-type:export-only;
        margin:0in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:26.0pt;
        font-family:"Cambria","serif";
        letter-spacing:.25pt;}
p.MsoTitleCxSpMiddle, li.MsoTitleCxSpMiddle, div.MsoTitleCxSpMiddle
        {mso-style-priority:10;
        mso-style-link:"Title Char";
        mso-style-type:export-only;
        margin:0in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:26.0pt;
        font-family:"Cambria","serif";
        letter-spacing:.25pt;}
p.MsoTitleCxSpLast, li.MsoTitleCxSpLast, div.MsoTitleCxSpLast
        {mso-style-priority:10;
        mso-style-link:"Title Char";
        mso-style-type:export-only;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        mso-add-space:auto;
        font-size:26.0pt;
        font-family:"Cambria","serif";
        letter-spacing:.25pt;}
p.MsoSubtitle, li.MsoSubtitle, div.MsoSubtitle
        {mso-style-priority:11;
        mso-style-link:"Subtitle Char";
        margin-top:0in;
        margin-right:0in;
        margin-bottom:30.0pt;
        margin-left:0in;
        font-size:12.0pt;
        font-family:"Cambria","serif";
        letter-spacing:.65pt;
        font-style:italic;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
em
        {mso-style-priority:20;
        letter-spacing:.5pt;
        border:none windowtext 1.0pt;
        padding:0in;
        font-weight:bold;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
        {mso-style-priority:99;
        mso-style-link:"Plain Text Char";
        margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Courier New";}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
        {mso-style-priority:99;
        mso-style-link:"Balloon Text Char";
        margin:0in;
        margin-bottom:.0001pt;
        font-size:8.0pt;
        font-family:"Tahoma","sans-serif";}
p.MsoNoSpacing, li.MsoNoSpacing, div.MsoNoSpacing
        {mso-style-priority:1;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
        {mso-style-priority:34;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:.5in;
        mso-add-space:auto;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst
        {mso-style-priority:34;
        mso-style-type:export-only;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:0in;
        margin-left:.5in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle
        {mso-style-priority:34;
        mso-style-type:export-only;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:0in;
        margin-left:.5in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast
        {mso-style-priority:34;
        mso-style-type:export-only;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:.5in;
        mso-add-space:auto;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
p.MsoQuote, li.MsoQuote, div.MsoQuote
        {mso-style-priority:29;
        mso-style-link:"Quote Char";
        margin-top:10.0pt;
        margin-right:.25in;
        margin-bottom:4.0pt;
        margin-left:.25in;
        font-size:10.0pt;
        font-family:"Times New Roman","serif";
        font-style:italic;}
p.MsoIntenseQuote, li.MsoIntenseQuote, div.MsoIntenseQuote
        {mso-style-priority:30;
        mso-style-link:"Intense Quote Char";
        margin-top:10.0pt;
        margin-right:.8in;
        margin-bottom:14.0pt;
        margin-left:.7in;
        text-align:justify;
        font-size:10.0pt;
        font-family:"Times New Roman","serif";
        font-weight:bold;
        font-style:italic;}
span.MsoSubtleEmphasis
        {mso-style-priority:19;
        font-style:italic;}
span.MsoIntenseEmphasis
        {mso-style-priority:21;
        font-weight:bold;}
span.MsoSubtleReference
        {mso-style-priority:31;
        font-variant:small-caps;}
span.MsoIntenseReference
        {mso-style-priority:32;
        font-variant:small-caps;
        letter-spacing:.25pt;
        text-decoration:underline;}
span.MsoBookTitle
        {mso-style-priority:33;
        font-variant:small-caps;
        letter-spacing:.25pt;
        font-style:italic;}
p.MsoTocHeading, li.MsoTocHeading, div.MsoTocHeading
        {mso-style-priority:39;
        margin-top:24.0pt;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";
        font-weight:bold;}
p.MsoTocHeadingCxSpFirst, li.MsoTocHeadingCxSpFirst, div.MsoTocHeadingCxSpFirst
        {mso-style-priority:39;
        mso-style-type:export-only;
        margin-top:24.0pt;
        margin-right:0in;
        margin-bottom:0in;
        margin-left:0in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";
        font-weight:bold;}
p.MsoTocHeadingCxSpMiddle, li.MsoTocHeadingCxSpMiddle, div.MsoTocHeadingCxSpMiddle
        {mso-style-priority:39;
        mso-style-type:export-only;
        margin:0in;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";
        font-weight:bold;}
p.MsoTocHeadingCxSpLast, li.MsoTocHeadingCxSpLast, div.MsoTocHeadingCxSpLast
        {mso-style-priority:39;
        mso-style-type:export-only;
        margin-top:0in;
        margin-right:0in;
        margin-bottom:4.0pt;
        margin-left:0in;
        mso-add-space:auto;
        font-size:14.0pt;
        font-family:"Cambria","serif";
        font-weight:bold;}
span.Heading1Char
        {mso-style-name:"Heading 1 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 1";
        font-family:"Cambria","serif";
        font-weight:bold;}
span.Heading2Char
        {mso-style-name:"Heading 2 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 2";
        font-family:"Cambria","serif";
        font-weight:bold;}
span.Heading3Char
        {mso-style-name:"Heading 3 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 3";
        font-family:"Cambria","serif";
        font-weight:bold;}
span.Heading4Char
        {mso-style-name:"Heading 4 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 4";
        font-family:"Cambria","serif";
        font-weight:bold;
        font-style:italic;}
span.Heading5Char
        {mso-style-name:"Heading 5 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 5";
        font-family:"Cambria","serif";
        color:#7F7F7F;
        font-weight:bold;}
span.Heading6Char
        {mso-style-name:"Heading 6 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 6";
        font-family:"Cambria","serif";
        color:#7F7F7F;
        font-weight:bold;
        font-style:italic;}
span.Heading7Char
        {mso-style-name:"Heading 7 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 7";
        font-family:"Cambria","serif";
        font-style:italic;}
span.Heading8Char
        {mso-style-name:"Heading 8 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 8";
        font-family:"Cambria","serif";}
span.Heading9Char
        {mso-style-name:"Heading 9 Char";
        mso-style-priority:9;
        mso-style-link:"Heading 9";
        font-family:"Cambria","serif";
        letter-spacing:.25pt;
        font-style:italic;}
span.TitleChar
        {mso-style-name:"Title Char";
        mso-style-priority:10;
        mso-style-link:Title;
        font-family:"Cambria","serif";
        letter-spacing:.25pt;}
span.SubtitleChar
        {mso-style-name:"Subtitle Char";
        mso-style-priority:11;
        mso-style-link:Subtitle;
        font-family:"Cambria","serif";
        letter-spacing:.65pt;
        font-style:italic;}
span.QuoteChar
        {mso-style-name:"Quote Char";
        mso-style-priority:29;
        mso-style-link:Quote;
        font-style:italic;}
span.IntenseQuoteChar
        {mso-style-name:"Intense Quote Char";
        mso-style-priority:30;
        mso-style-link:"Intense Quote";
        font-weight:bold;
        font-style:italic;}
span.PlainTextChar
        {mso-style-name:"Plain Text Char";
        mso-style-priority:99;
        mso-style-link:"Plain Text";
        font-family:"Courier New";}
span.BalloonTextChar
        {mso-style-name:"Balloon Text Char";
        mso-style-priority:99;
        mso-style-link:"Balloon Text";
        font-family:"Tahoma","sans-serif";}
span.EmailStyle48
        {mso-style-type:personal-compose;
        font-weight:bold;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[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="purple">
<div class="WordSection1">
<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" style="background:#F2F2F2;border-collapse:collapse">
<tbody>
<tr>
<td width="642" colspan="2" valign="top" style="width:481.8pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" align="right" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;text-align:right">
<b><span style="font-size:18.0pt"><o:p>&nbsp;</o:p></span></b></p>
</td>
</tr>
<tr>
<td width="492" valign="top" style="width:369.0pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b><span lang="EN" style="font-size:18.0pt">CloudTrust Mini Symposium @ BU<o:p></o:p></span></b></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b><span lang="EN" style="font-size:13.5pt">May 10, 2012</span></b><b><span style="font-size:18.0pt"><o:p></o:p></span></b></p>
</td>
<td width="150" valign="top" style="width:112.8pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" align="center" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;text-align:center">
<a href="http://www.bu.edu/"><b><span style="font-size:18.0pt;color:windowtext;text-decoration:none"><img border="0" width="112" height="50" id="Picture_x0020_1" src="cid:image001.gif@01CD296E.0D744F00" alt="Description: Description: Description: cid:image001.gif@01CD2882.C714A190"></span></b></a><b><span style="font-size:18.0pt"><o:p></o:p></span></b></p>
</td>
</tr>
<tr>
<td width="642" colspan="2" valign="top" style="width:481.8pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i><span lang="EN" style="font-size:12.0pt"><br>
* Sponsored by the RISCS Center and the Hariri Institute at Boston University<o:p></o:p></span></i></p>
<div style="margin-top:5.0pt;margin-bottom:5.0pt">
<div class="MsoNormal" align="center" style="margin-bottom:0in;margin-bottom:.0001pt;text-align:center">
<i><span lang="EN" style="font-size:12.0pt">
<hr size="2" width="100%" noshade="" style="color:#C00000" align="center">
</span></i></div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN" style="font-size:12.0pt">On Thursday May 10, 2012, the
<a href="http://www.bu.edu/hic">Hariri Institute</a> in collaboration with the <a href="http://www.bu.edu/riscs">
RISCS Center</a> at Boston University will be hosting a half-day CloudTrust Mini Symposium &#8212; a set of four talks on various aspects of Cloud Computing Security.
<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b><span lang="EN" style="font-size:18.0pt">Program<o:p></o:p></span></b></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">1:00pm &#8211; 1:50pm<br>
Title: Refereed Delegation of Computation<br>
Speaker: Ben Riva, Tel Aviv University<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">2:00pm &#8211; 2:50pm<br>
Title: Anonymous Card Shuffling and its Applications to Parallel Mixnets<br>
Speaker: Michael Goodrich, University of California, Irvine<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">3:00pm &#8211; 3:50pm<br>
Title: Towards a Trustworthy Marketplace for Cloud Resources<br>
Speaker: Azer Bestavros, Boston University<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">4:00pm &#8211; 4:50pm<br>
Title: Participatory Networking &#8211; Safely Allowing User-driven Network Management<br>
Speaker: Rodrigo Fonseca, Brown University<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN" style="font-size:12.0pt">The Mini Symposium will be held in the
<a href="http://www.bu.edu/hic/directions/">Hariri Institute Seminar Room (MCS-180)</a> and is open to the public.
</span><span lang="EN" style="font-size:12.0pt">For more information, please contact Ellen Grady (<a href="mailto:grady@bu.edu">grady@bu.edu</a>), Associate Director of the RISCS Center.<o:p></o:p></span></p>
<div class="MsoNormal" align="center" style="margin-bottom:0in;margin-bottom:.0001pt;text-align:center">
<span lang="EN" style="font-size:12.0pt">
<hr size="2" width="100%" noshade="" style="color:#C00000" align="center">
</span></div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b><span lang="EN" style="font-size:18.0pt">Abstracts<o:p></o:p></span></b></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i><span lang="EN" style="font-size:12.0pt">Refereed Delegation of Computation (Ben Riva, Tel Aviv University)</span></i><span lang="EN" style="font-size:12.0pt"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">The current move to Cloud Computing raises the need for verifiable delegation of computations, where a weak client delegates his computation to a powerful server, while maintaining the ability to verify that the result
 is correct. Although there are prior solutions to this problem, none of them is yet both general and practical for real-world use. We propose to extend the model as follows. Instead of using one cloud, the client uses two or more different clouds to perform
 his computation and can verify the correct result of the computation as long as at least one of the clouds is honest. We show a computationally-sound protocol for any efficiently computable function, with logarithmically many rounds, based on any collision-resistant
 hash family. Our protocol works for essentially any sequential program, and we present an implementation of the protocol, called QUIN, for Windows executables. We describe its architecture and experiment with several parameters on live clouds. We show that
 the protocol is practical, can work with nowadays clouds, and is efficient both for the servers and for the client. If time permits I&#8217;ll also briefly talk about a second result in this model, a 1-round (2-messages) unconditionally-sound protocol for any function
 computable in log-space uniform NC.<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">Joint work with Ran Canetti (BU) and Guy Rothblum (Princeton)<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i><span lang="EN" style="font-size:12.0pt">Anonymous Card Shuffling and its Applications to Parallel Mixnets (Michael Goodrich, UC Irvine)</span></i><span lang="EN" style="font-size:12.0pt"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">We study the question of how to shuffle <i>
n</i> cards when faced with an opponent who knows the initial position of all the cards
<i>and</i> can track every card when permuted, <i>except</i> when one takes K&lt; n cards at a time and shuffles them in a private buffer &#8220;behind your back,&#8221;&#8216; which we call
<i>buffer shuffling</i>. The problem arises naturally in the context of parallel mixnet servers as well as other security applications. Our analysis is based on related analyses of load-balancing processes. We include extensions to variations that involve corrupted
 servers and adversarially injected messages, which correspond to an opponent who can peek at some shuffles in the buffer and who can mark some number of the cards. In addition, our analysis makes novel use of a sum-of-squares metric for anonymity, which leads
 to improved performance bounds for parallel mixnets and can also be used to bound well-known existing anonymity measures.<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">Joint work with Michael Mitzenmacher (Harvard)<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i><span lang="EN" style="font-size:12.0pt">Towards a Trustworthy Marketplace for Cloud Resources (Azer Bestavros, Boston University)</span></i><span lang="EN" style="font-size:12.0pt"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">This talk summarizes research pursued under the BU CloudCommons project, focusing on novel approaches seeking to build trust in the economic utility of IaaS cloud marketplaces. I will start by presenting a model for
 the specification of periodic cloud supply and demand. This model allows SLAs to leverage a granular representation of cloud resources, exposing flexibilities that enable providers to safely transform SLAs from one form to another for efficient workload colocation.
 Next, I will show that such expressive SLAs facilitate the emergence of an efficient marketplace, by presenting two game-theoretic mechanisms for cloud resource management. The first mechanism enables rational, selfish parties to interact in an attempt to
 minimize the individual costs they incur to secure the shared cloud resources necessary to support their application SLAs. The second mechanism enables dynamic pricing of IaaS clouds in a way that ensures efficient utilization of providers&#8217; resources, while
 guaranteeing rational fairness to all customers. In addition to various analytical and game-theoretic results, I will present experimental evaluations that quantify the potential utility of these models and mechanisms.<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">Joint work with Vatche Ishakian (BU), Jorge Londono (U Pontificia Bolivariana), Ray Sweha (BU), and Shanghua Teng (USC)<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i><span lang="EN" style="font-size:12.0pt">Participatory Networking &#8211; Safely Allowing User-driven Network Management (Rodrigo Fonseca, Brown U)</span></i><span lang="EN" style="font-size:12.0pt"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">Current cloud environments have stringent requirements on reconfigurability and security of their networks, as they have to provide to clients the illusion of isolated and elastic networks. Under these conditions, managing
 these networks with traditional mechanisms such as VLANs and MPLS tunnels is extremely challenging, leading to brittle, static, and ad-hoc solutions. Software-defined networking is an emerging paradigm that provides a programmable, logically centralized abstraction
 for network control and administration, and offers an attractive alternative which has been gaining traction. In this talk I will present our work on PANE &#8211; Participatory Networking &#8211; which aims at extending programmatic control of the network to end-users.
 I will focus on how PANE can be used in a cloud environment to safely delegate control of different aspects of the network to multiple parties, improving the security and configurability of the network.<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:.5in">
<span lang="EN" style="font-size:12.0pt">Joint work with Andrew Ferguson (Brown), Arjun Guha (Brown), and Shriram Krishnamurthi (Brown)<o:p></o:p></span></p>
<div style="margin-top:5.0pt;margin-bottom:5.0pt">
<div class="MsoNormal" align="center" style="margin-bottom:0in;margin-bottom:.0001pt;text-align:center">
<span lang="EN" style="font-size:12.0pt">
<hr size="2" width="100%" noshade="" style="color:#C00000" align="center">
</span></div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:12.0pt"><span lang="EN" style="font-size:10.0pt">The CloudTrust Mini Symposium is part of the annual PI meeting of the NSF-funded collaborative project entitled &#8220;<a href="http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1012798">Towards
 Trustworthy Interactions in the Cloud</a>&#8220;, involving researchers from Boston University, Brown University, and the University of California, Irvine. For more details, check
<a href="https://sites.google.com/site/trustworthyclouds/">the project web site.</a></span><span lang="EN" style="font-size:12.0pt"><o:p></o:p></span></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal"><o:p>&nbsp;</o:p></p>
</div>
</body>
</html>