
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

This repository includes the code and files needed to test and execute a PoC for CVE-2025-41656


A tool to manipulate Schneider Electric PLC archive files

Open-source forensics framework for analyzing Industrial PLC metadata and project files. Scans for suspicious artifacts in ICS environments to…

IoT and Operational Technology Honeypot

OpenPLC Runtime version 3