Security for cyber systems built without a trustworthy operating system (OS) is simply a scientific impossibility. Industrial Control Systems are just that - systems - that require a systematic approach to securing their operations, beginning with a trustworthy Class A1 OS. Our research has demonstrated how ICS can effectively leverage Class A1 OSes to dramatically reduce the attack surface of even hostile Programmable Logic Controller applications, making them more secure, more resilient, and improving control system availability. Join this session to see how.