<div dir="ltr">Hi everyone,<br><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><div><div><br>Join us for the BUsec seminar next Wednesday at 9:45am. Our own Omer Paneth will present his PhD proposal on the cryptographic hardness of finding Nash Equilibria.   Followed by lunch in the lab.<br><br>Also, Alberto Dianotti from CAIDA is in town on Tuesday, and so he&#39;ll be speaking about a BGP measurement platform at an extra seminar on Tuesday at 11am (joint with NRG).<br><br>After next week, we&#39;ll take a few weeks off, and then come back on March 23 with a series of exciting network security talks from Cristina Nita-Rotaru (NEU), Zakir Durumeric (UMich), Matt Green (JHU) and Bryan Ford (EPFL).<br><br>- Sharon<br><br>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><br>The busec seminar gratefully acknowledges the support of BU&#39;s Center for Reliable Information Systems and Cyber Security (RISCS). <br><br>******<br>Title: On the Cryptographic Hardness of Finding a Nash Equilibrium <br>[Thesis Proposal]<br>Speaker: Omer Paneth (BU)<br>Room: MCS148 at 111 Cummington St, Boston MA 02215<br>Time: Wednesday March 2, 2015, 9:45AM<br><br><br>We prove that finding a Nash equilibrium of a game is hard, assuming the existence of indistinguishability obfuscation and injective one-way functions with sub-exponential hardness. We do so by showing how these cryptographic primitives give rise to a hard computational problem that lies in the complexity class PPAD, for which finding Nash equilibrium is known to be complete.<br><br>Previous proposals for basing PPAD-hardness on program obfuscation considered a strong &quot;virtual black-box&quot; notion that is subject to severe limitations and is unlikely to be realizable for the programs in question. In contrast, for indistinguishability obfuscation no such limitations are known, and recently, several candidate constructions of indistinguishability obfuscation were suggested based on different hardness assumptions on multilinear maps.<br><br>Our result provides further evidence of the intractability of finding a Nash equilibrium, one that is extrinsic to the evidence presented so far.<br><br>Joint work with Nir Bitansky and Alon Rosen</div></div></div></div></div></div>
</div><br>***<br>BGPStream:<br>A framework for the historical analysis and real-time monitoring of BGP data<br>[NRG/busec seminar]<br>Speaker: Alberto Dainotti (CAIDA).<br>Tuesday, March 1, 2016, 11am<br>MCS148<br><br>I will present the design and implementation of BGPStream, an open-source software framework (available at <a href="http://bgpstream.caida.org">bgpstream.caida.org</a>) for the analysis of historical and live Border Gateway Protocol (BGP) measurement data. Although BGP is a crucial operational component of the Internet infrastructure, and is the subject of fundamental research (in the areas of performance, security, topology, protocols, economy, ...), there is no standard and easy way of processing large amounts of BGP measurement data. <br><br>BGPStream fills this gap by making available a set of API and tools for processing large amounts of live and historical data thus supporting investigation of specific events, rapid prototyping, and building complex tools and efficient large-scale monitoring applications (e.g., detection of connectivity disruptions or BGP hijacking attacks). I will describe the design choices and challenges in the development of BGPStream. I will present how the components of the framework can be used in different applicative scenarios, and I will describe the development and deployment of complex services for global Internet monitoring that we built on top of it.<br></div>