Decentralized Federated Learning Framework Enhances IoT Privacy and Security
A novel framework integrates DABE, HE, SMPC, and blockchain to secure IoT federated learning, enabling privacy-preserving AI and verifiable data exchange.
Sublinear ZKP Prover Revolutionizes Verifiable Computation for Constrained Devices
A novel zero-knowledge proof prover architecture drastically reduces memory requirements, enabling ubiquitous verifiable computation on resource-limited hardware.
Formalizing Blockchain Liveness: A New Consensus Algorithm Security Methodology
This research introduces a novel methodology and taxonomy for formally analyzing blockchain consensus algorithm liveness against malicious attacks, ensuring robust system progress.
Code-Based Zero-Knowledge Proofs for Post-Quantum Cryptographic Resilience
This research pioneers novel zero-knowledge proof protocols, including HammR and CROSS, leveraging coding theory to secure digital signatures against emerging quantum threats.
Classical Setups Enable Practical Quantum Cryptography Primitives without Complex Quantum Memory
This research introduces classical-query setups for quantum cryptographic primitives, significantly lowering hardware demands and accelerating practical quantum-secure deployments.
Hardware Acceleration Revolutionizes ZK-Friendly Hashing for Practical ZKP Applications
HashEmAll leverages FPGA-based hardware to dramatically accelerate ZK-friendly hash functions, unlocking real-time, scalable zero-knowledge applications.
Interplanetary Bitcoin Standard with Transit Timestamping
A novel Proof-of-Transit Timestamping primitive enables Bitcoin's secure, verifiable operation across high-latency interplanetary links, extending its monetary reach.
Efficient Zero-Knowledge Proofs: Bridging Theory to Practical Blockchain Applications
This research introduces novel zero-knowledge proof protocols, significantly enhancing efficiency and scalability for secure, trustless blockchain and AI systems.
Formal Verification Secures Stellar DeFi Lending Protocols
A novel formal verification tool, Certora Sunbeam Prover, mathematically guarantees the integrity of Stellar-based DeFi smart contracts, preventing catastrophic financial exploits.
