The development and operation of secure, large-scale IoT systems is difficult. Technological platforms providing the necessary building blocks to …