<html><body><div style="font-family: arial,helvetica,sans-serif; font-size: 12pt; color: #000000"><div>Room:&nbsp; TBD<br></div><div>Date: Wednesday, <span class="Object" role="link" id="OBJ_PREFIX_DWT7337_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT7342_com_zimbra_date">June 22</span></span></div><div>Time: 10am</div><div>Host: Andrew Appel</div><div><br></div><div><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;"><span style="font-family: 'times new roman'; font-size: 14pt;" data-mce-style="font-family: 'times new roman'; font-size: 14pt;"><b>Trusted Software for Cybersecurity in Industrial Control Systems</b></span></p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;"><span style="font-family: 'times new roman'; font-size: 14pt;" data-mce-style="font-family: 'times new roman'; font-size: 14pt;">James H. Graham</span></p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;"><span style="font-family: 'times new roman'; font-size: 14pt;" data-mce-style="font-family: 'times new roman'; font-size: 14pt;">University of Louisville, Dept. of Electrical and Computer Engr.</span></p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;"><span style="font-family: 'times new roman'; font-size: 14pt;" data-mce-style="font-family: 'times new roman'; font-size: 14pt;">and True Secure SCADA, LLC</span></p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;">&nbsp;</p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;"><span style="font-family: 'times new roman'; font-size: 14pt;" data-mce-style="font-family: 'times new roman'; font-size: 14pt;">This talk will discuss the use of seL4 and trusted software components in industrial control systems. The goal is to protect critical infrastructure installations against devastating cyber-attacks on the control systems which monitor, regulate and control these facilities (think for a moment about being without electrical power and water for a really long time!) This talk will include an overview of three successful attacks against supervisory control and data acquisition (SCADA) systems and a discussion of some approaches to mitigating these threats and their potential consequences through the use of trusted software components.</span></p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;">&nbsp;</p><p style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;" data-mce-style="color: #000000; font-family: 'times new roman'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-align: left; margin: 0px;"><span style="font-family: 'times new roman'; font-size: 14pt;" data-mce-style="font-family: 'times new roman'; font-size: 14pt;">Dr. James Graham’s research on ICS cybersecurity has been funded for ten years by the Dept. of Justice and the Dept. of Homeland Security and other national and state agencies. He worked as a product and process engineer for General Motors, and served as an engineering professor at Rensselaer Polytechnic Institute and at the University of Louisville for 34 years prior to retirement in 2014. He is co-founder and CEO of True Secure SCADA, LLC.</span></p></div></div></body></html>