SEAD 2020 – Proceedings

3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment (SEAD 2020)

Frontmatter

Keynotes

The Future of Software Security Is Instrumentation (Keynote)
Jeff Williams
(Contrast Security, USA)

Publisher's Version

Security Engineering for Machine Learning (Keynote)
Gary McGraw
(Berryville Institute of Machine Learning, USA)

Publisher's Version

Papers

Comparing Formal Models of IoT App Coordination Analysis
Clay Stevens, Mohannad Alhanahnah, Qiben Yan, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; University of Wisconsin-Madison, USA; Michigan State University, USA)

Publisher's Version

Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity
ThanhVu Nguyen, Didier Ishimwe, Alexey Malyshev, Timos Antonopoulos, and Quoc-Sang Phan
(University of Nebraska-Lincoln, USA; Yale University, USA; Synopsys, USA)

Publisher's Version

Towards Automated, Provenance-Driven Security Audit for git-Based Repositories: Applied to Germany's Corona-Warn-App: Vision Paper
Tim Sonnekalb, Thomas S. Heinze, Lynn von Kurnatowski, Andreas Schreiber, Jesus M. Gonzalez-Barahona, and Heather Packer
(DLR, Germany; Universidad Rey Juan Carlos, Spain; University of Southampton, UK)

Publisher's Version

Robustness Analysis for Secure Software Design
Eunsuk Kang
(Carnegie Mellon University, USA)

Publisher's Version

proc time: 0.78