ESEC/FSE 2020 Workshops
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Powered by
Conference Publishing Consulting

3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment (SEAD 2020), November 9, 2020, Virtual, USA

SEAD 2020 – Proceedings

Contents - Abstracts - Authors
Twitter: https://twitter.com/esecfse

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

Frontmatter

Title Page
Message from the Chairs

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 StevensORCID logo, Mohannad Alhanahnah, Qiben Yan, and Hamid Bagheri ORCID logo
(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 NguyenORCID logo, Didier Ishimwe ORCID logo, Alexey Malyshev, Timos Antonopoulos ORCID logo, 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 ORCID logo, Thomas S. Heinze, Lynn von Kurnatowski, Andreas SchreiberORCID logo, 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 ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version

proc time: 1.45