Supply-Chain Security for Cyberinfrastructure
The globalization and complexity of modern supply chains introduce risks that jeopardize our cyberinfrastructure and demand bold, comprehensive solutions to ensure the integrity of hardware and software components across their life cycle of design, manufacturing, distribution, integration, and updating. Read
VIRTUAL ROUNDTABLE: What Happened to Formal Methods for Security?
A panel of seven experts discusses the state of the practice of formal methods (FM) in software development, with a focus on FM's relevance to security. Read