
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

TROMMEL: Sift Through Embedded Device Files to Identify Potential Vulnerable Indicators

SpiderControl SCADA Web Server File Upload Vulnerability

PoC for CVE-2018-12086 affecting various OPC UA stacks

Deploys realistic virtual SCADA/ICS testbeds with IEC 60870-5-104 and OPC-UA nodes, enabling attack simulations, legitimate packet generation, and…