<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><p>At tomorrow's seminar, we will have Moses Liskov from MITRE discussing a crypto protocol analysis tool. We will have lunch in the lab after the talk. 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> BUsec Calendar: <a href="http://www.bu.edu/cs/busec/" target="_blank">http://www.bu.edu/cs/busec/</a><br>
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>
How to get to BU from MIT: The CT2 bus or MIT's "Boston Daytime Shuttle" <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 – 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. We call such executions the “shapes” of the protocol. Many naturally occurring protocols have only finitely many, indeed very few shapes. Flaws in a protocol’s design can be observed clearly in the shapes. This allows a protocol designer to obtain frequent feedback during the design process, even without a rigorous articulation of the protocol’s security goals.