Lecture

E-voting: individual verifiability

Related lectures (20)

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.

E-Voting: Election Phases and Security Measures

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

E-Voting: Decentralized Systems for Democracy

Delves into e-voting systems, emphasizing decentralized democracy, election phases, and challenges in ensuring verifiability and security.

Decentralized E-Voting: Challenges and Solutions

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

Electronic Voting: Processes and Approaches

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

E-Voting: Research and Challenges

Explores e-voting research, digital algorithms, privacy challenges, and cryptographic methods in ensuring legitimacy and participation.

Social Influence and Choice

Explores social influence, democracy, individual autonomy, equality, and decision-making models.

Weak Fiat-Shamir: Vulnerabilities in Cryptographic Protocols

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

Coalitions and Group Decisions

Explores Cooperative Game Theory, focusing on group decisions, voting protocols, manipulation, and the challenges of games with more than two players.

Anonymity in Communication: Tor and Cryptographic Protocols

Explores anonymity in communication, focusing on Tor, cryptographic protocols, and challenges in achieving perfect anonymity.

Mixnet based on Paillier

Explores a mixnet based on a secure verifiable shuffle system and its applications.

UN Global Compacts

Explores the UN Global Compacts, focusing on migration and refugees, including Switzerland's stance and the impact on national sovereignty.

Election Methods: Desirable Properties

Discusses election methods' desirable properties, multi-winner methods, district representation, gerrymandering, and the tyranny of the majority.

Untitled

Mechanism Design and Crowdfunding

Explores mechanism design, crowdfunding, prediction markets, and quadratic voting.

Smart Contracts: Bitcoin and UTXO

Explores smart contracts in Bitcoin, UTXO model, authorization, validity checks, challenges, applications, and emerging trends.

Cryptographic Security Models

Explores Cryptographic Security Models, including Diffie-Hellman and ElGamal Security, RSA, and practical encryption problems.

Elliptic Curves and Lattices

Explores Elliptic Curve Discrete Logarithm Problem, lattice-based cryptography, and cryptographic schemes like ECDSA.

Cryptographic Security Models: Game Proof Methodology

Explores Cryptographic Security Models through the Game Proof Methodology, RSA Security, Rabin Cryptosystem, and Diffie-Hellman Security.

Introduction to Cryptography: Fundamentals and Applications

Covers the fundamentals of cryptography, including symmetric encryption, digital signatures, and secure communication standards.