<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><p>At next week&#39;s seminar, we will have Moses Liskov from MITRE&nbsp;discussing a crypto protocol analysis tool; we will start at bit later (10:30AM on Wednesday) followed by lunch in the BUSEC lab. See you there!</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:30am &ndash; 11:30am<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>