Devon Loehr will present his General Exam "A Hiding Algorithm for Automatically Discovering Abstractions during Network Verificationon" on May 1, 2020 at 1pm via Zoom.
Devon Loehr will present his General Exam " A Hiding Algorithm for Automatically Discovering Abstractions during Network Verification on" on May 1, 2020 at 1pm via Zoom. Link to Zoom meeting: [ https://princeton.zoom.us/j/727524014 | https://princeton.zoom.us/j/727524014 ] The members of his committee are as follows: David Walker (adviser), Aarti Gupta, and Zachary Kincaid Links to abstract and reading list can be found here: [ https://docs.google.com/document/d/1717QtFNjCW59xQFzqqHY3AOd_GLrJDKCkgqxvHjO... | https://docs.google.com/document/d/1717QtFNjCW59xQFzqqHY3AOd_GLrJDKCkgqxvHjO... ] [ https://docs.google.com/document/d/1bGMXc880i0oUsIt-9Jg7VZNn9n9L5dmf4sQUBjjX... | https://docs.google.com/document/d/1bGMXc880i0oUsIt-9Jg7VZNn9n9L5dmf4sQUBjjX... ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.
Kevin Lee will present his General Exam "An Empirical Study of Wireless Carrier Authentication for SIM Swaps" on May 15, 2020 at 10am via Zoom. Link to Zoom meeting: [ https://princeton.zoom.us/j/94900337544 | https://princeton.zoom.us/j/94900337544 ] The members of his committee are as follows: Arvind Narayanan (adviser), Jonathan Mayer, and Matthew Salganik Link to abstract and reading list can be found here: [ https://docs.google.com/document/d/1jZwOtRl5lAZh6ZNONHVrhjvpyaSa4YgNXGaWioVA... | https://docs.google.com/document/d/1jZwOtRl5lAZh6ZNONHVrhjvpyaSa4YgNXGaWioVA... ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.
participants (1)
-
Nicki Mahler