| |
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
Article: fsews20seadmain-id5-p doi:10.1145/3416507.3423188
|
| |
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
Article: fsews20seadmain-id2-p doi:10.1145/3416507.3423189
|
| |
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
Article: fsews20seadmain-id5-p doi:10.1145/3416507.3423188
|
| |
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
Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190
|
| |
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
Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190
|
| |
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
Article: fsews20seadmain-id2-p doi:10.1145/3416507.3423189
|
| |
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
Article: fsews20seadmain-id3-p doi:10.1145/3416507.3423191
|
| |
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
Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190
|
| |
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
Article: fsews20seadmain-id2-p doi:10.1145/3416507.3423189
|
| |
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
Article: fsews20seadmain-key2-p doi:10.1145/3416507.3428118
|
| |
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
Article: fsews20seadmain-id2-p doi:10.1145/3416507.3423189
|
| |
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
Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190
|
| |
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
Article: fsews20seadmain-id2-p doi:10.1145/3416507.3423189
|
| |
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
Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190
|
| |
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
Article: fsews20seadmain-id4-p doi:10.1145/3416507.3423190
|
| |
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
Article: fsews20seadmain-id5-p doi:10.1145/3416507.3423188
|
| |
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
Article: fsews20seadmain-key1-p doi:10.1145/3416507.3428117
|
| |
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
Article: fsews20seadmain-id5-p doi:10.1145/3416507.3423188
|