The workshop will be "virtual" to allow remote participation (details will be shared with registered participants). Due to remote participation, not all participants may attend the full workshop.
All times are Mountain Time Zone on November 9, 2020.
9:00am - 9:15am: Welcome
9:15am - 9:45am: Keynote 1: The Future of Software Security Is Instrumentation (Jeff Williams) abstract and bio
9:45am - 10:00am: Q&A Keynote 1
10:00am - 10:15am: Break
10:15am - 10:30am (presentation and Q&A): Comparing Formal Models of IoT App Coordination Analysis Clay Stevens (University of Nebraska-Lincoln, US), Mohannad Alhanahnah (University of Wisconsin-Madison, US), Qiben Yan (Michigan State University, US) and Hamid Bagheri (University of California, Irvine, US)
10:30am - 10:45am (presentation and Q&A): Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity Thanhvu Nguyen (University of Nebraska, Lincoln, US), Didier Ishimwe (University of Nebraska, Lincoln, US), Alexey Malyshev (University of Nebraska, Lincoln, US), Timos Antonopoulos (Yale University, US) and Quoc-Sang Phan (Synopsys, US)
10:45am - 11:00am (presentation and Q&A): Towards Automated, Provenance-driven Security Audit for git-based Repositories - Applied to Germany's Corona-Warn-App, Tim Sonnekalb (German Aerospace Center (DLR), Germany), Thomas S. Heinze (German Aerospace Center (DLR), Germany), Lynn von Kurnatowski (German Aerospace Center (DLR), Germany), Andreas Schreiber (German Aerospace Center (DLR), Germany), Jesus M. Gonzalez-Barahona (Universidad Rey Juan Carlos, Spain) and Heather Packer (University of Southampton, UK)
11:00am - 11:15am (presentation and Q&A): Robustness Analysis for Secure Software Design, Eunsuk Kang (Carnegie Mellon University, US)
11:15am - 11:30am: Break
11:30am - 12:00pm: Keynote 2: Security Engineering for Machine Learning (Gary McGraw) abstract and bio
12:00pm - 12:15pm: Q&A Keynote 2
12:15pm - 12:30pm: Wrap-up