
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