Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification.

Leonard Tudorache

Browse the full MODELS paper archive.