8:30 am – 10:30 am |
Bernd Finkbeiner (CISPA Helmholtz Center for Information Security) |
8:30 am – 10:30 am |
Rajeev Alur (University of Pennsylvania) |
8:30 am – 9:00 am |
Todd Millstein (UCLA) |
|
9:00 am – 9:10 am |
Q&A |
|
9:10 am – 9:40 am |
Elizabeth Polgreen (University of Edinburgh) |
|
9:40 am – 9:50 am |
Q&A |
|
9:50 am – 10:10 am |
Andrew J. Reynolds (University of Iowa) |
|
10:10 am – 10:20 am |
Q&A |
|
10:20 am – 10:25 am |
Mark Santolucito (Barnard College) |
|
10:25 am – 10:30 am |
Q&A |
8:30 am – 10:30 am |
TBD |
8:30 am – 10:30 am |
TBD |