Lukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe. Towards an Automated Exploration of Secure IoT/CPS Design-Variants. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 372-386, Springer, 2020. [doi]
Abstract is missing.