Christian Mack

Why Johnny Checks but Doesn’t Alert: Reporting as the Missing Step in Verifiable Internet Voting

End-to-end verifiable Internet voting promises that voters can remotely check whether their ballot was recorded correctly and that all ballots were tallied as cast. However, in order to achieve an adequate level of security, voters actually need to perform the first check. Our research focuses on the cast-then-audit…