Towards an Automated Exploration of Secure IoT/CPS Design-Variants.

Lukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe

Browse the full SAFECOMP paper archive.