• #40 Secure Voting - Joe Kiniry

  • Jul 15 2024
  • Length: 1 hr and 9 mins
  • Podcast

#40 Secure Voting - Joe Kiniry

Listen for free

View show details

  • Summary

  • In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services.

    For the past 20 years Joe has worked tirelessly in designing, developing, supporting and auditing all kinds of voting systems for different private parties and government parties.

    If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

    Links

    Broken Ballots

    Joe Website

    Galois website

    SAW
    Show more Show less
Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about #40 Secure Voting - Joe Kiniry

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com reviews

Amazon reviews
No Reviews are Available