Author:
Pieper Pascal,Drechsler Rolf
Publisher
Springer Nature Switzerland
Reference6 articles.
1. J. Vanwell, 10 IoT security incidents that make you feel less secure (2021) [Online]. Available: https://conosco.com/industry-insights/blog/iot-security-breaches-4-real-world-examples (visited on 2022-11)
2. CisoMag Authors, 10 IoT security incidents that make you feel less secure (2020) [Online]. Available: https://embeddedartistry.com/fieldatlas/historical-software-accidents-and-errors/ (visited on 2022-11)
3. S. Tempel, V. Herdt, R. Drechsler, An effective methodology for integrating concolic testing with systemc-based virtual prototypes, in 2021 Design, Automation and Test in Europe Conference and Exhibition (DATE) (2021), pp. 218–221. https://doi.org/10.23919/DATE51398.2021.9474149
4. S. Tempel, V. Herdt, R. Drechsler, SISL: concolic testing of structured binary input formats via partial specification, in Automated Technology for Verification and Analysis, ed. by A. Bouajjani, L. Holík, Z. Wu (Springer International Publishing, Cham, 2022), pp. 77–82. ISBN: 978-3-031-19992-9
5. S. Tempel, V. Herdt, R. Drechsler, SymEx-VP: an open source virtual prototype for OS-agnostic concolic testing of IoT firmware. J. Syst. Archit. 126, 102456 (2022). ISSN: 1383-7621. https://doi.org/10.1016/j.sysarc.2022.102456 [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1383762122000480