Cover Image

Cryptographic Verifiability for Voter Registration Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fábrega, Andrés, Cable, Jack, Specter, Michael A., Park, Sunoo
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Credibility of Deniable Communication in Court
by: Leiken, Jacob, et al.
Published: (2025)

"Security vs. Interoperability" Arguments: An Analytical Framework
by: Landis, Daji, et al.
Published: (2025)

Security and Privacy Analysis of Tile's Location Tracking Protocol
by: Kumar, Akshaya, et al.
Published: (2025)

On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
by: Flamini, Andrea, et al.
Published: (2024)

How To Think About End-To-End Encryption and AI: Training, Processing, Disclosure, and Consent
by: Knodel, Mallory, et al.
Published: (2024)

The Pitfalls of "Security by Obscurity" And What They Mean for Transparent AI
by: Hall, Peter, et al.
Published: (2025)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

A Cryptographic Perspective on the Verifiability of Quantum Advantage
by: Chia, Nai-Hui, et al.
Published: (2023)

Publicly Understandable Electronic Voting: A Non-Cryptographic, End-to-End Verifiable Scheme
by: Gat, Alon
Published: (2026)

A Framework for Cryptographic Verifiability of End-to-End AI Pipelines
by: Balan, Kar, et al.
Published: (2025)

Showing the Receipts: Understanding the Modern Ransomware Ecosystem
by: Cable, Jack, et al.
Published: (2024)

Data Structures Meet Cryptography: 3SUM with Preprocessing
by: Golovnev, Alexander, et al.
Published: (2019)

Cryptographic Choreographies
by: Mödersheim, Sebastian, et al.
Published: (2026)

Uncovering Relationships between Android Developers, User Privacy, and Developer Willingness to Reduce Fingerprinting Risks
by: Berke, Alex, et al.
Published: (2026)

Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement
by: Mazzocchetti, Adam Massimo
Published: (2026)

On the Formalization of Cryptographic Migration
by: Loebenberger, Daniel, et al.
Published: (2024)

Cryptographic Challenges: Masking Sensitive Data in Cyber Crimes through ASCII Art
by: Alejandre, Andres, et al.
Published: (2025)

Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
by: Zilouchian, Reza, et al.
Published: (2026)

The Quantum-Cryptographic Co-evolution
by: Kundu, Ashish, et al.
Published: (2026)

Exploiting Leakage in Password Managers via Injection Attacks
by: Fábrega, Andrés, et al.
Published: (2024)

Developing and Evaluating Lightweight Cryptographic Algorithms for Secure Embedded Systems in IoT Devices
by: Sedraoui, Brahim Khalil, et al.
Published: (2026)

Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields
by: Roy, Arnab, et al.
Published: (2022)

Cryptographic Data Exchange for Nuclear Warheads
by: Perry, Neil, et al.
Published: (2025)

Cryptographic Keywords in NVD: Statistics and Visualization
by: Stanek, Martin
Published: (2024)

Systematic Review of Lightweight Cryptographic Algorithms
by: Khan, Mohsin, et al.
Published: (2026)

Membrane: A Cryptographic Access Control System for Data Lakes
by: Kumar, Sam, et al.
Published: (2025)

Hybrid Cryptographic Monitoring System for Side-Channel Attack Detection on PYNQ SoCs
by: Chinnasami, Nishant, et al.
Published: (2025)

Cryptographic Application of Elliptic Curve with High Rank
by: Cheng, Xiaogang, et al.
Published: (2025)

MECHA: Multithreaded and Efficient Cryptographic Hardware Access
by: Derry, Pratama, et al.
Published: (2025)

Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting
by: Specter, Michael A., et al.
Published: (2025)

Quantum-Resistant Cryptographic Models for Next-Gen Cybersecurity
by: Chhibber, Navin, et al.
Published: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
by: Benitez, Carlos
Published: (2025)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
by: Valence, Arnaud
Published: (2026)

Injection Attacks Against End-to-End Encrypted Applications
by: Fábrega, Andrés, et al.
Published: (2024)

Confidential Databases Without Cryptographic Mappings
by: Huang, Wenxuan, et al.
Published: (2026)

Lightweight Hybrid Block-Stream Cryptographic Algorithm for the Internet of Things
by: Vahi, Arsalan, et al.
Published: (2025)

ACE-GF: A Generative Framework for Atomic Cryptographic Entities
by: Wang, Jian Sheng
Published: (2025)

Microbenchmarking Cloud Cryptographic Workloads for Privacy-Preserving Healthcare IoT
by: Webb, Jeremiah L., et al.
Published: (2026)

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
by: Kebande, Victor
Published: (2026)