Safe and secure electronic systems have become an important priority for industry, government, and consumers. Cyber-physical systems and Internet-of-Things (IoT) systems rely on safe and secure electronic systems. These systems are only as secure as the CAD tools used to create them. This workshop will explore the requirements on CAD systems for safety and security and the methodologies and algorithms required to satisfy these requirements.
Both the goals of safety/security and the best techniques to achieve these goals are rapidly evolving. Standards and certification are two complementary mechanisms for safe and secure system design. Standards provide both goals and processes; certification is a regulatory process that is used in some domains. Externally-defined safety/security goals for CAD tools are relatively new; methodologies and algorithms to produce and use these tools are still evolving.
The workshop will draft a report identifying goals and research issues.
Topics of interest to the workshop include but are not limited to:
• Certification and validation of CAD tools.
• Secure design flows and design information integrity.
• Integrity of intellectual property.
• Attack models on electronic system hardware and software.
• CAD to secure against side channel attacks.
• Implications of existing security and safety standards on CAD.
• Embedded software design for safe and secure systems.
• Design of privacy-ensuring systems.
• Safe and secure CAD for cyber-physical control systems.
• Safe and secure CAD for wide-area IoT systems.