<div><div dir="auto">Hi everyone,</div><div dir="auto"><br></div><div dir="auto">In addition to Tarik&#39;s BUsec seminar on Wednesday morning, our own Aanchal will speak at the MIT security seminar on Wednesday afternoon. Details below; hope to see you there!</div><div dir="auto"><br></div><div dir="auto">Mayank</div><br><div class="gmail_quote"><div>---</div><br>A Universally Composable Treatment of Network Time.<br>
Seminar Series: CSAIL Security Seminar 2017/2018<br>
Speaker: Aanchal Malhotra<br>
Speaker Affiliation: Boston University<br>
Host: CSAIL Security Seminar<br>
<br>
<br>
Date: Wednesday, November 29, 2017<br>
Time:  4:00 PM to 5:00 PM<br>
<br>
Location: D463 (Star)<br>
<br>
Title: A Universally Composable Treatment of Network Time.<br>
<br>
Abstract:<br>
The security of almost any real-world distributed system today depends on the participants having some &quot;reasonably accurate&#39;&#39; sense of current real time.  Indeed, to name one example, the very authenticity of practically any communication on the Internet today hinges on the ability of the parties to accurately detect revocation of certificates, or expiration of passwords or shared keys. However, as recent attacks show, the standard  protocols for determining time are subvertible, resulting in wide-spread security loss. Worse yet, we do not have security notions for network time protocols that (a) can be rigorously asserted and (b) rigorously guarantee security of applications that require a sense of real time.<br>
In this talk I will:<br>
    - Describe new notions of security for time sync protocols within Universally Composable (UC) security framework<br>
    - Show that these notions suffice for protocols that need real time and Prove security of protocols that realize these notions<br>
<br>
joint work with Ran Canetti, Kyle Hogan and Mayank Varia.<br>
<br>
Speaker Bio: Aanchal Malhotra is a Ph.D student at Boston University and is part of the BU Security Group. Her research uses cryptography, and the insights gained from network measurement and simulations to improve the security and reliability of core Internet protocols like BGP, DNS, and NTP. She received her M.S. from Boston University in 2014, and has worked as a researcher at Cisco, Akamai, and NLNet Labs, Netherlands. She is an active member of working groups at the Internet Engineering Task Force (IETF).<br></div></div>