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)