activity
20192025
most citedChecking Security Compliance between Models and Code

13 citations · 16 across the 8 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.CR2025

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks

Simon Schneider, Komal Kashish, Katja Tuma +1

Low-code development frameworks for IoT platforms offer a simple drag-and-drop mechanism to create applications for the billions of existing IoT devices without the need for extens…