8:30am |
Registration & Breakfast |
|
9:30am |
Welcome & Overview Dan Boneh |
|
9:40am |
Online Hate and Harassment: A Security Problem? Zakir Durumeric |
|
10:10am |
Recent Developments in Cryptography Dan Boneh |
|
10:40am |
LZR: Identifying Unexpected Internet Services Liz Izhikevich |
|
11:10am |
Break |
|
11:30am |
Common Compiler Infrastructure for Zero-Knowledge Proofs and Symbolic Execution Alex Ozdemir |
|
12:00pm |
Finding Vulnerable Cloud Buckets Drew Gregory |
|
12:30pm |
Lunch |
|
2:00pm |
Formally Evaluating Microarchitectural Security with Happens-Before Analysis Caroline Trippel |
|
2:30pm |
Extricating IoT Devices from Vendor Infrastructure with Karl Gina Yuan |
|
3:00pm |
Break |
|
3:20pm |
GNSS Data and Ranging Authentication Jason Anderson |
|
3:50pm |
Securing Ethereum 2.0 Ertem Nusret Tas |
|