Lectures related to Vote counting

Digital Voting Systems: Security and Verifiability

Explores the security and verifiability of digital voting systems, including in-person and remote e-voting, focusing on protection against tampering and ballot counting efficiency.

Electronic Voting: Processes and Approaches

Explores electronic voting processes, approaches, and technologies, emphasizing integrity, fairness, and transparency in voting systems.

Replication and Consensus

Covers replication, strong consistency, failure modes, network models, and the Paxos algorithm.

Decentralized E-Voting: Challenges and Solutions

Explores challenges and solutions in decentralized e-voting systems, emphasizing integrity, privacy, and coercion resistance.

E-Voting: Election Phases and Security Measures

Discusses election phases, ballot security, privacy, and transparency in e-voting.

E-voting: individual verifiability

Explores individual verifiability in the e-voting system, covering verifiable protocols, zero-knowledge proofs, and vote integrity.

Untitled

Weak Fiat-Shamir: Vulnerabilities in Cryptographic Protocols

Covers vulnerabilities in the Fiat-Shamir heuristic and its impact on Helios voting security.