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 Article: fsews20seadmain-key1-p doi:10.1145/3416507.3428117

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

Publisher's Version Article: fsews20seadmain-key2-p doi:10.1145/3416507.3428118

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 Article: fsews20seadmain-id5-p doi:10.1145/3416507.3423188

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 Article: fsews20seadmain-id2-p doi:10.1145/3416507.3423189

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 Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190

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

Publisher's Version Article: fsews20seadmain-id3-p doi:10.1145/3416507.3423191

proc time: 0.01