<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">This is an announcement of Troy Hu's MS Presentation. Troy is a student in the Bx/MS program.</span><div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class=""><span class="">Here is the Zoom link to participate:</span><br class=""><a href="https://uchicagostudents.zoom.us/j/97220161180" class="">https://uchicagostudents.zoom.us/j/97220161180</a><br class=""><br class=""><span class="">Meeting ID: 972 2016 1180</span><br class=""><span class="">One tap mobile</span><br class=""><span class="">+13126266799,,97220161180# US (Chicago)</span><br class=""><span class="">+13017158592,,97220161180# US (Germantown)</span><br class=""><br class=""><span class="">Dial by your location</span><br class=""><span class=""> +1 312 626 6799 US (Chicago)</span><br class=""><span class=""> +1 301 715 8592 US (Germantown)</span><br class=""><span class=""> +1 929 436 2866 US (New York)</span><br class=""><span class=""> +1 669 900 6833 US (San Jose)</span><br class=""><span class=""> +1 253 215 8782 US (Tacoma)</span><br class=""><span class=""> +1 346 248 7799 US (Houston)</span><br class=""><span class="">Meeting ID: 972 2016 1180</span><br class=""><span class="">Find your local number: </span><a href="https://uchicagostudents.zoom.us/u/adbl4QGz6c" class="">https://uchicagostudents.zoom.us/u/adbl4QGz6c</a><br class=""><br class=""><span class="">------------------------------------------------------------------------------</span><br class=""><span class="">Date: Friday, May 29, 2020</span><br class=""><br class=""><span class="">Time: </span><span class="">10:00 AM, Central Time</span><br class=""><br class=""><span class="">Place: remote via Zoom</span><br class=""><br class=""><span class="">M.S. Candidate: Troy Hu</span><br class=""><br class=""><span class="">M.S. Paper Title: </span><font color="#000000" class="">Automated Localization of Timing-Related Security Bugs in Hardware Designs</font><br class=""><br class=""><span class="">Abstract:</span></div><div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class=""><font color="#000000" class="">Hardware systems today are largely at risk of leaking sensitive data through timing variations in low-level operations, which leads to severe consequences such as confidentiality breaches and malicious actors gaining root privileges. For example, the famous Spectre and Meltdown attacks on modern processors are possible partly due to timing variations in the caches. In order to ensure timing secure designs, hardware designers must be provided with the necessary tools to detect and localize the bugs. While there exist techniques that can detect timing-related security bugs, e.g. Information Flow Tracking (IFT), bug localization is primarily performed through manual efforts, which are time-consuming and inefficient. In this talk, we present a novel and elegant <b class="">technique</b> that can be utilized to automatically localize timing-related security bugs in hardware designs by leveraging existing IFT infrastructure with low cost and high precision. We demonstrate the efficacy of this technique by applying it to a wide variety of hardware designs. Moreover, based on the insights gained from our results, we identify exciting directions for future work in security bug localization. </font></div><div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class=""><span class="">Troy's Advisor: Professor Yanjing Li</span></div><div class=""><span class=""><br class=""></span></div><div class=""><span class=""></span></div></body></html>