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)

@InProceedings{SEAD20p1, author = {Jeff Williams}, title = {The Future of Software Security Is Instrumentation (Keynote)}, booktitle = {Proc.\ SEAD}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3416507.3428117}, year = {2020}, } Publisher's Version Article: fsews20seadmain-key1-p (type: Abstract) doi:10.1145/3416507.3428117

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

@InProceedings{SEAD20p9, author = {Gary McGraw}, title = {Security Engineering for Machine Learning (Keynote)}, booktitle = {Proc.\ SEAD}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3416507.3428118}, year = {2020}, } Publisher's Version Article: fsews20seadmain-key2-p (type: Abstract) 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)

@InProceedings{SEAD20p17, author = {Clay Stevens and Mohannad Alhanahnah and Qiben Yan and Hamid Bagheri}, title = {Comparing Formal Models of IoT App Coordination Analysis}, booktitle = {Proc.\ SEAD}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3416507.3423188}, year = {2020}, } Publisher's Version Article: fsews20seadmain-id5-p (type: Full Paper (8 pages)) 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)

@InProceedings{SEAD20p25, author = {ThanhVu Nguyen and Didier Ishimwe and Alexey Malyshev and Timos Antonopoulos and Quoc-Sang Phan}, title = {Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity}, booktitle = {Proc.\ SEAD}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3416507.3423189}, year = {2020}, } Publisher's Version Article: fsews20seadmain-id2-p (type: Full Paper (8 pages)) 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)

@InProceedings{SEAD20p33, author = {Tim Sonnekalb and Thomas S. Heinze and Lynn von Kurnatowski and Andreas Schreiber and Jesus M. Gonzalez-Barahona and Heather Packer}, title = {Towards Automated, Provenance-Driven Security Audit for git-Based Repositories: Applied to Germany's Corona-Warn-App: Vision Paper}, booktitle = {Proc.\ SEAD}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3416507.3423190}, year = {2020}, } Publisher's Version Article: fsews20seadmain-id4-p (type: Full Paper (8 pages)) doi:10.1145/3416507.3423190

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

@InProceedings{SEAD20p41, author = {Eunsuk Kang}, title = {Robustness Analysis for Secure Software Design}, booktitle = {Proc.\ SEAD}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3416507.3423191}, year = {2020}, } Publisher's Version Article: fsews20seadmain-id3-p (type: Full Paper (8 pages)) doi:10.1145/3416507.3423191

proc time: 0.03