Blockchain-Based Secure Online Voting Platform Ensuring Voter Anonymity, Integrity, and End-to-End Verifiability
Fuente:
arXiv
Saved in:
| Main Authors: | Tahboub, Yousef, Revilla, Anthony, Lynch, Jaydon, Floyd, Greg |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Unified Framework for Qualifying Security Boundary of PUFs Against Machine Learning Attacks
by: Fei, Hongming, et al.
Published: (2026)
by: Fei, Hongming, et al.
Published: (2026)
Evaluating Argon2 Adoption and Effectiveness in Real-World Software
by: Tippe, Pascal, et al.
Published: (2025)
by: Tippe, Pascal, et al.
Published: (2025)
The Age of Sensorial Zero Trust: Why We Can No Longer Trust Our Senses
by: Xavier, Fabio Correa
Published: (2025)
by: Xavier, Fabio Correa
Published: (2025)
Can AI Keep a Secret? Contextual Integrity Verification: A Provable Security Architecture for LLMs
by: Gupta, Aayush
Published: (2025)
by: Gupta, Aayush
Published: (2025)
zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
by: Liu, To-Wen, et al.
Published: (2025)
by: Liu, To-Wen, et al.
Published: (2025)
Witnessd: Proof-of-process via Adversarial Collapse
by: Condrey, David
Published: (2026)
by: Condrey, David
Published: (2026)
One-Shot Secure Aggregation: A Hybrid Cryptographic Protocol for Private Federated Learning in IoT
by: Emmaka, Imraul, et al.
Published: (2025)
by: Emmaka, Imraul, et al.
Published: (2025)
Recovering WPA-3 Network Password by Bypassing the Simultaneous Authentication of Equals Handshake using Social Engineering Captive Portal
by: Chadee, Kyle, et al.
Published: (2024)
by: Chadee, Kyle, et al.
Published: (2024)
Formal Analysis and Supply Chain Security for Agentic AI Skills
by: Bhardwaj, Varun Pratap
Published: (2026)
by: Bhardwaj, Varun Pratap
Published: (2026)
From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)
by: Peyrano, Ignacio
Published: (2026)
Detecting and Mitigating SQL Injection Vulnerabilities in Web Applications
by: Neupane, Sagar
Published: (2025)
by: Neupane, Sagar
Published: (2025)
AIP: Agent Identity Protocol for Verifiable Delegation Across MCP and A2A
by: Prakash, Sunil
Published: (2026)
by: Prakash, Sunil
Published: (2026)
Constant-Size Cryptographic Evidence Structures for Regulated AI Workflows
by: Kao, Leo
Published: (2025)
by: Kao, Leo
Published: (2025)
Quantum Blockchain Survey: Foundations, Trends, and Gaps
by: Ghosh, Saurav, et al.
Published: (2025)
by: Ghosh, Saurav, et al.
Published: (2025)
Finite-Size Security Bounds in Semi-Quantum Key Distribution: Spectral, Operator-Theoretic, and Entropic Perspectives
by: Ratul, Zahidur Rezwan
Published: (2025)
by: Ratul, Zahidur Rezwan
Published: (2025)
Seed-Induced Uniqueness in Transformer Models: Subspace Alignment Governs Subliminal Transfer
by: Okatan, Ayşe Selin, et al.
Published: (2025)
by: Okatan, Ayşe Selin, et al.
Published: (2025)
Keyed Chaotic Dynamics for Privacy-Preserving Neural Inference
by: Fagan, Peter David
Published: (2025)
by: Fagan, Peter David
Published: (2025)
Quantigence: A Multi-Agent AI Framework for Quantum Security Research
by: Alquwayfili, Abdulmalik
Published: (2025)
by: Alquwayfili, Abdulmalik
Published: (2025)
A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"
by: Wright, Craig
Published: (2025)
by: Wright, Craig
Published: (2025)
Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
by: Wright, Craig S
Published: (2025)
by: Wright, Craig S
Published: (2025)
The Impact of the Russia-Ukraine Conflict on the Cloud Computing Risk Landscape
by: Malikussaid, et al.
Published: (2025)
by: Malikussaid, et al.
Published: (2025)
TALUS: Threshold ML-DSA with One-Round Online Signing via Boundary Clearance and Carry Elimination
by: Kao, Leo
Published: (2026)
by: Kao, Leo
Published: (2026)
Post-Quantum-Resilient Audit Evidence for Long-Lived Regulated Systems: Security Models, Migration Patterns, and Case Study
by: Kao, Leo
Published: (2025)
by: Kao, Leo
Published: (2025)
Keys in the Weights: Transformer Authentication Using Model-Bound Latent Representations
by: Okatan, Ayşe S., et al.
Published: (2025)
by: Okatan, Ayşe S., et al.
Published: (2025)
Clone What You Can't Steal: Black-Box LLM Replication via Logit Leakage and Distillation
by: Gharami, Kanchon, et al.
Published: (2025)
by: Gharami, Kanchon, et al.
Published: (2025)
Explainable Attention-Based LSTM Framework for Early Detection of AI-Assisted Ransomware via File System Behavioral Analysis
by: Nayak, Prabhudarshi, et al.
Published: (2026)
by: Nayak, Prabhudarshi, et al.
Published: (2026)
Operationalizing Cybersecurity Governance for Mitigation Planning with Attack-Path Modeling and Reinforcement Learning
by: Huff, Philip, et al.
Published: (2026)
by: Huff, Philip, et al.
Published: (2026)
Interoperable Architecture for Digital Identity Delegation for AI Agents with Blockchain Integration
by: Saavedra, David Ricardo
Published: (2026)
by: Saavedra, David Ricardo
Published: (2026)
Signature Placement in Post-Quantum TLS Certificate Hierarchies: An Experimental Study of ML-DSA and SLH-DSA in TLS 1.3 Authentication
by: Jiménez, José Luis Delgado
Published: (2026)
by: Jiménez, José Luis Delgado
Published: (2026)
Adaptive Trust Consensus for Blockchain IoT: Comparing RL, DRL, and MARL Against Naive, Collusive, Adaptive, Byzantine, and Sleeper Attacks
by: Padia, Soham, et al.
Published: (2025)
by: Padia, Soham, et al.
Published: (2025)
vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
by: Song, Qiyang, et al.
Published: (2026)
by: Song, Qiyang, et al.
Published: (2026)
Secrecy and Verifiability: An Introduction to Electronic Voting
by: Keeler, Paul, et al.
Published: (2026)
by: Keeler, Paul, et al.
Published: (2026)
Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference
by: Anchuri, Pranay, et al.
Published: (2026)
by: Anchuri, Pranay, et al.
Published: (2026)
Unveiling Hidden Threats: Using Fractal Triggers to Boost Stealthiness of Distributed Backdoor Attacks in Federated Learning
by: Wang, Jian, et al.
Published: (2025)
by: Wang, Jian, et al.
Published: (2025)
Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy
by: Akgul, Hasan, et al.
Published: (2025)
by: Akgul, Hasan, et al.
Published: (2025)
Enhanced Rényi Entropy-Based Post-Quantum Key Agreement with Provable Security and Information-Theoretic Guarantees
by: Xu, Ruopengyu, et al.
Published: (2025)
by: Xu, Ruopengyu, et al.
Published: (2025)
FIPS 204-Compatible Threshold ML-DSA via Shamir Nonce DKG
by: Kao, Leo
Published: (2026)
by: Kao, Leo
Published: (2026)
VOLTRON: Detecting Unknown Malware Using Graph-Based Zero-Shot Learning
by: Akdeniz, M. Tahir, et al.
Published: (2025)
by: Akdeniz, M. Tahir, et al.
Published: (2025)
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)
by: Iskander, Ray
Published: (2026)
Privacy-Preserving Proof of Human Authorship via Zero-Knowledge Process Attestation
by: Condrey, David
Published: (2026)
by: Condrey, David
Published: (2026)
Similar Items
-
Unified Framework for Qualifying Security Boundary of PUFs Against Machine Learning Attacks
by: Fei, Hongming, et al.
Published: (2026) -
Evaluating Argon2 Adoption and Effectiveness in Real-World Software
by: Tippe, Pascal, et al.
Published: (2025) -
The Age of Sensorial Zero Trust: Why We Can No Longer Trust Our Senses
by: Xavier, Fabio Correa
Published: (2025) -
Can AI Keep a Secret? Contextual Integrity Verification: A Provable Security Architecture for LLMs
by: Gupta, Aayush
Published: (2025) -
zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
by: Liu, To-Wen, et al.
Published: (2025)