Open source verification with Sal Kimmich

Mon, 01 Jun 2026 00:00:00 +0000

Josh chats with Sal Kimmich about the current state of everything, and what we can expect next. Sal has some incredible insight into what we can expect to see due to the current wave of security bugs and incidents. There are some new features we will need in both our hardware and software to ward off the state of things. Since those features are years away, what we need in the short term is shoring up our SDLC programs. Sal has some really good medical examples and analogies for this one. It’s a huge problem but not insurmountable.

Verification on Open Source Security

Open source verification with Sal Kimmich