spanwich/sel4-ics-gateway-demo

PoC

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

view exploit source poc_in_githubauthor spanwichpublished 2026-01-01catalog poc_in_github

exploited CVEs (1)

Known CVEs related to this entry.

ID	severity	EPSS	exploitable	published
CVE-2019-14462US	critical9.1	1.98% (80th)	Exploit	2019-07-31
An issue was discovered in libmodbus before 3.0.7 and 3.1.x before 3.1.5. There is an out-of-bounds read for the MODBUS_FC_WRITE_MULTIPLE_COILS case, aka VD-1302.

scry

Working exploits like this target internet-facing systems. See what is exposed on your perimeter with a free passive scan.