
sel4-ics-gateway-demo
Defensive security demo: seL4 microkernel gateway protecting vulnerable ICS from CVE-2019-14462
container-securitydefensive-toolseducation+5

Defensive security demo: seL4 microkernel gateway protecting vulnerable ICS from CVE-2019-14462

Detection-engineering reference mapping Windows, cloud, container, identity, and ICS attack classes to Sigma rules, trust-boundary models, BYOVD…

Real-time simulation framework for cyber-physical systems with physical process/control device models and Mininet-based network emulation, built for…

Open-source IoT Platform - Device management, data collection, processing and visualization.