A few people have asked for sources for further reading on election security concepts, like Software Independence and RLAs. Here are few to get you started:
Rivest and Wack on Software Independence: https://people.csail.mit.edu/rivest/pubs/RW06.pdf
Stark and Linderman, Gentile Introduction to RLAs: https://www.nist.gov/system/files/documents/2025/03/31/A_Gentle_Introduction_to_Risk-Limiting_Audits.pdf
Here's a brief overview, by me, of election technology and risks, from a few years ago: https://georgetownlawtechreview.org/wp-content/uploads/2020/07/4.2-p505-522-Blaze.pdf
And for those who like video, here's a short talk by me: https://www.youtube.com/watch?v=pzRSA_VDsdc&list=PLltrHIXltfGLotq79TBgIK9QK4O29Z2FF