Distributed Non-Interactive Zero-Knowledge Proofs Secure Network State Privacy
Distributed Non-Interactive Zero-Knowledge (dNIZK) is a new cryptographic primitive enabling efficient, single-round, privacy-preserving certification of global network state properties.
Formally Synthesizing Secure Distributed Systems from Centralized Programs
This research unifies simulation-based security with compiler techniques to automatically generate provably secure distributed cryptographic applications.
Threshold Signatures Enhance Blockchain Security, Decentralization, and Fault Tolerance
A novel cryptographic primitive distributes signing authority across multiple parties, fundamentally mitigating single points of failure and bolstering decentralized system resilience.
Practical Distributed Broadcast Encryption Eliminates Centralized Key Escrow
This research introduces practical distributed broadcast encryption schemes, enabling secure group messaging without a trusted central authority.
