Trustworthy Critical Infrastructures via Physics-Aware Just-Ahead-Of-Time Verification

<!--HTML--><p>Dr. Saman Zonouz, assistant professor at Rutgers University, NJ and the director of the 4N6 Cyber Security and Forensics Laboratory is visiting CERN for a collaboration meeting. His previous works and research interests include PLC program analysis, security of embedded systems, and malware analysis and reverse engineering.</p> <p>Before the collaboration meeting, Dr. Zonouz is giving a 30-minutes-long talk, titled&nbsp;'Trustworthy Critical Infrastructures via Physics-Aware Just-Ahead-Of-Time Verification', followed by Q&amp;A and discussions. You can find the abstract of the talk below. The presentation is <strong>open to anyone</strong> interested, but <strong>please register</strong> on Indico to know the size of the room needed.</p> <p>(Please note the new room: <span style="color:#c0392b"><strong>31/3-004</strong></span>, IT Auditorium.)</p> <hr /> <h3><em>Abstract</em></h3> <p>Critical cyber-physical infrastructures, such as the power grid, integrate networks of computational and physical processes to provide the people across the globe with essential functionalities and services. Protecting these critical infrastructures is a vital necessity because the failure of these systems would have a debilitating impact on economic security and public health and safety. Our research and development projects aim at provision of real-world solutions to facilitate the secure and reliable operation of next-generation critical infrastructures and require interdisciplinary research efforts across adaptive systems and network security, cyber-physical systems, and trustworthy real-time detection and response mechanisms. In this talk, I will focus on real past and potential future threats against critical infrastructures and embedded devices, and discuss the challenges in design, implementation, and analysis of security solutions to protect cyber-physical platforms. I will introduce novel classes of working systems that we have developed to overcome these challenges in practice, and finally conclude with several concrete directions for future research. Additionally, I will briefly go over our other projects on x86 malware/memory analysis and embedded systems security solutions to support access control applications in cyber-physical settings.</p>