6 episodes

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.

Building Better System‪s‬ Galois, Joey Dodds, Shpat Morina

    • Technology
    • 5.0 • 8 Ratings

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.

    #6 Dan Guido - What the hell are the blockchain people doing, and why isn't it a dumpster fire?

    #6 Dan Guido - What the hell are the blockchain people doing, and why isn't it a dumpster fire?

    Dan Guido, CEO of Trail of Bits, walks us through how they work with customers to make long-term improvements in security and software quality. He also describes what blockchain has done right, and how the rest of the software world should learn from them.

    • 1 hr 1 min
    #5 Talia Ringer – Proof Engineering for the People

    #5 Talia Ringer – Proof Engineering for the People

    Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to.

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

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

    Principal Researcher, Alex Malozemoff, walks us through what homomorphic encryption is, what CKKS is, and how a recent new attack on CKKS will impact progress on homomorphic encryption.

    • 17 min
    #3 Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

    #3 Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

    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.

    • 1 hr
    #2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2

    #2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2

    Jean Yang, Founder and CEO of Akita Software, walks us through what makes API analysis an effective approach to finding critical issues in your systems, and what it takes to get a new company started. As a bonus, you'll learn about what formal methods and fashion design have in common. This is part two of a two-part episode. Please make sure to check out part one.

    • 35 min
    #1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

    #1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

    Jean Yang, Founder and CEO of Akita Software, walks us through what makes API analysis an effective approach to finding critical issues in your systems, and what it takes to get a new company started. As a bonus, you'll learn about what formal methods and fashion design have in common. This is part one of a two-part episode. Please make sure to check out part two.

    • 29 min

Customer Reviews

5.0 out of 5
8 Ratings

8 Ratings

Top Podcasts In Technology