Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.
Show More
Creators & Guests
We don't know anything about the creators of this podcast yet. You can so they can be credited for this and other podcasts.