13:30-15:00 Panel: Ensuring Trustworthy Automated Systems Moderator: Peter Neumann, SRI International, US

In light of the anticipated risks of fully automated and semi-automated systems (for example, involving aircraft, drones, automotive vehicles, robots, and the Internet of Things), this panel will examine what might provide serious assurance of total-systems trustworthiness with respect to human safety, security, resilience to adversity, and other critical requirements. This panel is preceded in the program by several talks that will lay some groundwork for the discussion, including system architectures, formal analyses, and case-study examples. In a sense, this problem is much broader than it might seem, and thus is relevant to all compositional systems in general.

15:00-15:30 BREAK

15:30-16:25 Contribution: Composition Challenges for Automated Software Diversity, Ben Davis, et al, Galois Inc., US

16:25-16:50 WIP: Assurance Challenges in Isolated Execution Environments Read Sprabery, University of Illinois at Urbana-Champaign, US

16:50-17:45 Contribution: Software Supply Chain Management: Enabling Enterprise Resilience & Cyber Security Assurance, Joe Jarzombek, Synopsys, US

17:45 Workshop Closing

18:00-20:00  ACSAC/LAW Reception