Logic and Accuracy Testing: A Fifty-State Review. - Josiah Walker; Nakul Bajaj; Braden L. Crimmins; J. Alex Halderman (E-Vote-ID, 2022)

RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail. - Braden L. Crimmins; Marshall Rhea; J. Alex Halderman (Financial Cryptography Workshops, 2022)

DVSorder: Ballot Randomization Flaws Threaten Voter Privacy. - Braden L. Crimmins; Dhanya Narayanan; Drew Springall; J. Alex Halderman (USENIX Security Symposium, 2024)

Improving the Security of United States Elections with Robust Optimization. - Braden L. Crimmins; J. Alex Halderman; Bradley Sturt (Oper. Res., 2025)