Workshop SEAD 2020 – Author Index

A B G H I K M N P S W Y

	Alhanahnah, Mohannad	SEAD '20: "Comparing Formal Models of ..." 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
	Antonopoulos, Timos	SEAD '20: "Using Dynamically Inferred ..." 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
	Bagheri, Hamid	SEAD '20: "Comparing Formal Models of ..." 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
	Gonzalez-Barahona, Jesus M.	SEAD '20: "Towards Automated, Provenance-Driven ..." 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
	Heinze, Thomas S.	SEAD '20: "Towards Automated, Provenance-Driven ..." 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
	Ishimwe, Didier	SEAD '20: "Using Dynamically Inferred ..." 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
	Kang, Eunsuk	SEAD '20: "Robustness Analysis for Secure ..." 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
	Kurnatowski, Lynn von	SEAD '20: "Towards Automated, Provenance-Driven ..." 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
	Malyshev, Alexey	SEAD '20: "Using Dynamically Inferred ..." 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
	McGraw, Gary	SEAD '20: "Security Engineering for Machine ..." 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
	Nguyen, ThanhVu	SEAD '20: "Using Dynamically Inferred ..." 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
	Packer, Heather	SEAD '20: "Towards Automated, Provenance-Driven ..." 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
	Phan, Quoc-Sang	SEAD '20: "Using Dynamically Inferred ..." 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
	Schreiber, Andreas	SEAD '20: "Towards Automated, Provenance-Driven ..." 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
	Sonnekalb, Tim	SEAD '20: "Towards Automated, Provenance-Driven ..." 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
	Stevens, Clay	SEAD '20: "Comparing Formal Models of ..." 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
	Williams, Jeff	SEAD '20: "The Future of Software Security ..." 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
	Yan, Qiben	SEAD '20: "Comparing Formal Models of ..." 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

18 authors

proc time: 0.02