[Colloquium] Troy Hu MS Presentation/May 29, 2020

[Jessica Garza]

This is an announcement of Troy Hu's MS Presentation. Troy is a student in the Bx/MS program.

Here is the Zoom link to participate:
https://uchicagostudents.zoom.us/j/97220161180 <https://uchicagostudents.zoom.us/j/97220161180>

Meeting ID: 972 2016 1180
One tap mobile
+13126266799,,97220161180# US (Chicago)
+13017158592,,97220161180# US (Germantown)

Dial by your location
        +1 312 626 6799 US (Chicago)
        +1 301 715 8592 US (Germantown)
        +1 929 436 2866 US (New York)
        +1 669 900 6833 US (San Jose)
        +1 253 215 8782 US (Tacoma)
        +1 346 248 7799 US (Houston)
Meeting ID: 972 2016 1180
Find your local number: https://uchicagostudents.zoom.us/u/adbl4QGz6c <https://uchicagostudents.zoom.us/u/adbl4QGz6c>

------------------------------------------------------------------------------
Date:  Friday, May 29, 2020

Time:  10:00 AM, Central Time

Place:  remote via Zoom

M.S. Candidate:  Troy Hu

M.S. Paper Title: Automated Localization of Timing-Related Security Bugs in Hardware Designs

Abstract:

Hardware (RTL) design to reveal the propagation paths starting from all possible bug locations. These paths not only localize timing-related security bug locations, but also provide guidance on how to fix these bugs. We evaluate our technique on a wide variety of hardware designs and find that, so far, our strategy can localize timing bugs with 100% accuracy. Moreover, based on the insights gained from our results, we identify a multitude of novel directions for future work in security bug localization. 

Troy's Advisor: Professor Yanjing Li



Jessica Garza
Assistant Director of Undergraduate Studies
Department of Computer Science
The University of Chicago
Covid-19 Resources <https://cs.uchicago.edu/remote2020/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20200515/60122875/attachment.html>