May 2020 - talks - lists.cs.princeton.edu

Alexander Strzalkowski will present his General Exam on May 20, 2020 at 3pm via Zoom.
by Nicki Mahler 13 May '20

13 May '20

Alexander Strzalkowski will present his General Exam on May 20, 2020 at 3pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/714555984 | https://princeton.zoom.us/j/714555984 ] The members of his committee are as follows: Barbara Engelhardt (adviser), Matthew J. Salganik (Sociology), and Ben Raphael Link to Abstract & Reading List: [ https://docs.google.com/document/d/16spazuW8Y4sS2hnFaqQslkGSlRHw0s6EhFXJ83V… | https://docs.google.com/document/d/16spazuW8Y4sS2hnFaqQslkGSlRHw0s6EhFXJ83V… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Corwin Sinnamon will present his General Exam "Smooth Heaps, Instance Optimality, and Heap-BST Duality" on May 20, 2020 at 2pm via Zoom.
by Nicki Mahler 13 May '20

13 May '20

Corwin Sinnamon will present his General Exam " Smooth Heaps, Instance Optimality, and Heap-BST Duality" on May 20, 2020 at 2pm via Zoom. Zoom link: https://princeton.zoom.us/my/sinnamon The members of his committee are as follows: Robert Tarjan (adviser), Bernard Chazelle, and Robert Sedgewick Link to Abstract & Reading List: [ https://docs.google.com/document/d/1VMbz4oEMkgcGwiZWMcq-xpLG3QRKScQQqYcNWOh… | https://docs.google.com/document/d/1VMbz4oEMkgcGwiZWMcq-xpLG3QRKScQQqYcNWOh… ] [ https://docs.google.com/document/d/18Mj_reyT9SulXbHvWsl1FeH6Cm-WqAhJN1Hh2nC… | https://docs.google.com/document/d/18Mj_reyT9SulXbHvWsl1FeH6Cm-WqAhJN1Hh2nC… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Runzhe Yang will present his General Exam “A Generalized Algorithm for Multi-Objective Reinforcement Learning and Policy Adaptation” on May 20, 2020 at 1pm via Zoom
by Nicki Mahler 12 May '20

12 May '20

Runzhe Yang will present his General Exam “A Generalized Algorithm for Multi-Objective Reinforcement Learning and Policy Adaptation” on May 20, 2020 at 1pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/765050621 | https://princeton.zoom.us/j/765050621 ] The members of his committee are as follows: Karthik Narasimhan (adviser), Sebastian Seung (adviser), and Ryan Adams Link to Abstract and Reading List: [ https://docs.google.com/document/d/1_jUl7mrTcKAbP5ippblm31Tz_4izt5XR9lxObK4… | https://docs.google.com/document/d/1_jUl7mrTcKAbP5ippblm31Tz_4izt5XR9lxObK4… ] [ https://docs.google.com/document/d/1WrGBPtJaJrObg34B2ovD-U7G4ChZxxJloPHDFDg… | https://docs.google.com/document/d/1WrGBPtJaJrObg34B2ovD-U7G4ChZxxJloPHDFDg… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Tim Alberdingk Thijm will present his General Exam "Kirigami, The Verifiable Art of Network Cutting" on May 18, 2020 at 11am via Zoom.
by Nicki Mahler 11 May '20

11 May '20

Tim Alberdingk Thijm will present his General Exam "Kirigami, The Verifiable Art of Network Cutting" on May 18, 2020 at 11am via Zoom. Zoom link: [ https://princeton.zoom.us/j/6828669120 | https://princeton.zoom.us/j/6828669120 ] The members of his committee are as follows: Aarti Gupta (adviser), David Walker, and Zachary Kincaid Abstract and Reading List: [ https://www.cs.princeton.edu/~tthijm/generals.html | https://www.cs.princeton.edu/~tthijm/generals.html ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Shaowei Zhu will present his General Exam “A compositional and monotone approach to conditional termination of programs” on May 15, 2020 at 3:30pm via Zoom
by Nicki Mahler 11 May '20

11 May '20

Shaowei Zhu will present his General Exam “A compositional and monotone approach to conditional termination of programs” on May 15, 2020 at 3:30pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/9538001170 | https://princeton.zoom.us/j/9538001170 ] The members of his committee are as follows : Zachary Kincaid (adviser), Aarti Gupta, and Andrew Appel Abstract and Reading List: [ https://docs.google.com/document/d/1Xi7b7PFqU5CpzgkrG5Dldmv1EK01HjCllTNWGgv… | https://docs.google.com/document/d/1Xi7b7PFqU5CpzgkrG5Dldmv1EK01HjCllTNWGgv… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Manik Dhar will present his General Exam "Furstenberg Sets in finite fields" on May 15, 2020 at 2pm via Zoom
by Nicki Mahler 08 May '20

08 May '20

Manik Dhar will present his General Exam "Furstenberg Sets in finite fields" on May 15, 2020 at 2pm via Zoom. Zoom Link: [ https://princeton.zoom.us/j/761050306 | https://princeton.zoom.us/j/761050306 ] The members of his committee are as follows: Zeev Dvir (adviser), Gillat Kol, and Bernard Chazelle Link to the abstract: [ https://docs.google.com/document/d/17ts7_emHza3S9L2zyIjMeWWHLVkspfJTdEYEWo4… | https://docs.google.com/document/d/17ts7_emHza3S9L2zyIjMeWWHLVkspfJTdEYEWo4… ] Link to the reading list: [ https://docs.google.com/document/d/18_B3tVvDe4J4ZG59ih83VEn_3eIpzrBPJyZydxd… | https://docs.google.com/document/d/18_B3tVvDe4J4ZG59ih83VEn_3eIpzrBPJyZydxd… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

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.
by Nicki Mahler 08 May '20

08 May '20

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_GLrJDKCkgqxvHj… | https://docs.google.com/document/d/1717QtFNjCW59xQFzqqHY3AOd_GLrJDKCkgqxvHj… ] [ https://docs.google.com/document/d/1bGMXc880i0oUsIt-9Jg7VZNn9n9L5dmf4sQUBjj… | https://docs.google.com/document/d/1bGMXc880i0oUsIt-9Jg7VZNn9n9L5dmf4sQUBjj… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 1

Ankit Goyal will present his General Exam on May 15, 2020 at 2pm via Zoom
by Nicki Mahler 08 May '20

08 May '20

Ankit Goyal will present his General Exam on May 15, 2020 at 2pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/6916453614 | https://princeton.zoom.us/j/6916453614 ] The members of his committee are as follows: Jia Deng (adviser), Olga Russakovsky, and Danqi Chen Link to Abstract & Reading List: [ https://docs.google.com/document/d/1n5Va69uDQHZ60P-uyIAom0didz3-hYL-ZDQGpp7… | https://docs.google.com/document/d/1n5Va69uDQHZ60P-uyIAom0didz3-hYL-ZDQGpp7… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Uma Girish will present her General Exam "Quantum versus Classical Complexity: Lower Bounds for XOR of Forrelations" on May 18, 2020 at 2pm via Zoom.
by Nicki Mahler 08 May '20

08 May '20

Uma Girish will present her General Exam "Quantum versus Classical Complexity: Lower Bounds for XOR of Forrelations" on May 18, 2020 at 2pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/906703188 | https://princeton.zoom.us/j/906703188 ] The members of her committee are as follows: Ran Raz (adviser), Mark Braverman, and Gillat Kol Link to Abstract & Reading Lists: [ https://docs.google.com/document/d/1_Dj6WTkOfFI9vRQERIFIukQCMi-85c8F1EBsJQP… | https://docs.google.com/document/d/1_Dj6WTkOfFI9vRQERIFIukQCMi-85c8F1EBsJQP… ] [ https://docs.google.com/document/d/13Z5zeLGIZO53U38uuHpsO4rdcaxQ_9K6orDLr7M… | https://docs.google.com/document/d/13Z5zeLGIZO53U38uuHpsO4rdcaxQ_9K6orDLr7M… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Noah Apthorpe will present his FPO "Network Privacy and User Protection in the Internet of Things" on May 14, 2020 at 1pm via Zoom.
by Nicki Mahler 07 May '20

07 May '20

Noah Apthorpe will present his FPO "Network Privacy and User Protection in the Internet of Things" on May 14, 2020 at 1pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/97333893087 | https://princeton.zoom.us/j/97333893087 ] The members of his committee are as follows: Nick Feamster (Adviser); Readers: Jennifer Rexford and Marshini Chetty; Examiners: Ed Felten, Arvind Narayanan, and Nick Feamster. A copy of his thesis, is available upon request. Please email ngotsis(a)cs.princeton if you would like a copy of the thesis. Everyone is invited to attend his talk. Abstract follows below. The proliferation of specialized Internet-connected consumer products, often called Internet of things (IoT) devices, presents unprecedented challenges for preserving user privacy. Some of these products, such as WiFi thermostats, replace conventional nonnetworked appliances. Others introduce new technologies, such as voice assistants, into users’ daily lives. Many consumer IoT devices contain sensors that record users’ activities in their living spaces and transmit information about these behaviors on the Internet. Understanding the social and technical privacy implications of consumer IoT devices is essential to informing the design and regulation of these technologies to protect users from inappropriate data collection and use. This dissertation employs human-computer interaction methods, technical vulnerability auditing, and Internet trac analysis to study user experiences with consumer IoT devices and the privacy risks posed by these products. Interviews and surveys show that users face complex decisions when adopting consumer IoT devices, weighing convenience against privacy concerns and variable trust in device manufacturers. Consumer IoT devices also a↵ect users’ relationships, strengthening interpersonal connections while causing conflicts about device sharing and undesired surveillance. A new survey method based on the theory of contextual integrity enables further discovery of user privacy norms at scale and the comparison of privacy norms to IoT device behavior and privacy regulation. Network privacy audits of IoT children’s toys flagged by the New Jersey Attorney General’s Oce reveal many vulnerabilities, including personally identifiable information in crash reports, data retention after deletion requests, and a lack of encryption and authentication. These vulnerabilities violate manufacturer privacy policies and the U.S. Children’s Online Privacy Protection Act. Finally, metadata analysis shows that a passive network eavesdropper can infer private in-home activities from IoT Internet trac even when devices use end-toend transport layer encryption. This motivates the creation of a low-overhead trac shaping algorithm, “stochastic trac padding,” that prevents such an eavesdropper from distinguishing user activities from generated trac patterns. These contributions advance our understanding of IoT privacy challenges, support the need for strong privacy defaults in consumer IoT products, and enhance the ability of researchers, manufacturers, and regulators to protect users from IoT privacy risks.

1 0