Software and hardware components or building blocks underpin the information technology systems that make up today’s cyberspace. Recent improvements in formal methods and advances in memory safe software and hardware are making it possible to create much more secure building blocks. This workshop will examine progress, explore opportunities, and highlight actions toward the creation of secure building blocks and their use in building trustworthy systems. Workshop participants from industry, academia, and government will consider technical challenges and opportunities, incentives, and supportive public policy.
The workshop will include five sessions as follows:
Session 1 – Recent progress and future opportunities in memory safety and formal methods
This session comprises three conversations focusing on software memory safety, hardware memory safety, and formal methods.
Session 2 – Sector specifics of building blocks and memory safe technologies
This session highlights sector specific engagement on building blocks and memory safe technologies and their applications.
Session 3 – Memory Safety Technologies
This session explores the focus and perspective of big tech companies on memory safety.
Session 4 – Building Blocks & DARPA Connections
This session explores recent DARPA programs and their strong connection to ONCD’s Building Blocks focus.
Session 5 – Call to Action
Presentation and discussion of key considerations (challenges and opportunities, the role of policy, regulation, and standardization), and paths toward adoption of secure building blocks and memory safety.
The outcome of this workshop is a report summarizing workshop discussions and highlighting key knowledge, tools, best practices, and pathways toward secure building blocks.