Demystifying cyber-physical malware-Reference-Cited by-同舟云学术

Demystifying cyber-physical malware

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
language:
Short-container-title:

Author:

Kothari Suraj C.¹

Affiliation:

1. Iowa State University and EnSoft Corp.

Funder

DARPA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3183440.3183459

Reference16 articles.

1. 2012. Automated Program Analysis for Cybersecurity (APAC). https://www.fbo.gov/spg/ODA/DARPA/CMO/DARPA-BAA-11-63/listing.html. (2012). 2012. Automated Program Analysis for Cybersecurity (APAC). https://www.fbo.gov/spg/ODA/DARPA/CMO/DARPA-BAA-11-63/listing.html. (2012).

2. 2015. Hijacking a Jeep Cherokee. https://www.wired.com/2015/07/hackers-remotely-kill-jeep-highway/. (2015). 2015. Hijacking a Jeep Cherokee. https://www.wired.com/2015/07/hackers-remotely-kill-jeep-highway/. (2015).

3. 2015. Space/Time Analysis for Cybersecurity (STAC) https://www.fbo.gov/spg/ODA/DARPA/CMO/DARPA-BAA-14-60/listing.html. (2015). 2015. Space/Time Analysis for Cybersecurity (STAC) https://www.fbo.gov/spg/ODA/DARPA/CMO/DARPA-BAA-14-60/listing.html. (2015).

4. 2016. Ukraine Power Outage. http://reut.rs/1SYBTPq. (2016). 2016. Ukraine Power Outage. http://reut.rs/1SYBTPq. (2016).

5. Correctness witnesses: exchanging verification results between verifiers

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Intelligent Agent-Based Simulation of Network Worms Propagation;2019 IEEE 15th International Conference on the Experience of Designing and Application of CAD Systems (CADSM);2019-02