<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><p>At tomorrow&#39;s seminar, we will have Moses Liskov from MITRE&nbsp;discussing a crypto protocol analysis tool. We will have lunch in the lab after the talk.&nbsp;See you there!</p>

<p>*** DUE TO SCHEDULING CONFLICTS, WE START AT 10AM *** </p><p>(Not 10:30 as in earlier announcements; sorry for this...); </p><p>Sharon</p><p>&nbsp;BUsec Calendar:&nbsp; <a href="http://www.bu.edu/cs/busec/" target="_blank">http://www.bu.edu/cs/busec/</a><br>

&nbsp;BUsec Mailing list: <a href="http://cs-mailman.bu.edu/mailman/listinfo/busec" target="_blank">http://cs-mailman.bu.edu/mailman/listinfo/busec</a><br>

&nbsp;How to get to BU from MIT: The CT2 bus or MIT&#39;s &quot;Boston Daytime Shuttle&quot; <a href="http://web.mit.edu/facilities/transportation/shuttles/daytime_boston.html" target="_blank">http://web.mit.edu/facilities/transportation/shuttles/daytime_boston.html</a></p>



<p><br>****<br>CPSA: An Accessible Protocol Analysis and Design Tool<br>Moses Liskov. MITRE. <br>Wed, March 26, 10:00am &ndash; 11:00am<br>MCS137</p><p>The Cryptographic Protocol Shapes Analyzer (CPSA) is an open-source tool that attempts to enumerate all essentially different possible executions of a protocol given some initial assumptions.&nbsp; We call such executions the &ldquo;shapes&rdquo; of the protocol.&nbsp; Many naturally occurring protocols have only finitely many, indeed very few shapes.&nbsp; Flaws in a protocol&rsquo;s design can be observed clearly in the shapes.&nbsp; This allows a protocol designer to obtain frequent feedback during the design process, even without a rigorous articulation of the protocol&rsquo;s security goals. 
</p></div>
</div></div>
</div></div>