The founders of MuseDev discuss making modern static analysis usable and leveraging the latest promising research for automatic bug finding. MuseDev is a spin-off of Galois. Video of this podcast can be found on our Youtube channel: Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Muse.dev Tom Dubuisson: https://www.linkedin.com/in/thomas-dubuisson-62910453/ Stephen Magill, https://www.linkedin.com/in/stephen-magill-2070a096/Continuous Reasoning: Scaling the impact of formal methods by Peter W. O’Hearn https://bit.ly/2I0TJEsContact us: podcast@galois.com

#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?

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.