Research area
Protocols, primitives, and formal security proofs.
5 papers tagged cryptography.
cryptography
Primary voting-conference submission to E-Vote-ID 2026 covering distributed E2E-V elections with entity-contract governance.
End-to-end verifiable elections with Paillier homomorphic encryption, RSA blind signatures, zero-knowledge ballot proofs, threshold decryption, and JCJ coercion resistance, distributed across independent cryptographic cells.
Formal security specification for the SOVEREIGN voting system. Threat models, security proofs, and protocol verification for independent cryptographer review.
USENIX Security '27 submission of the SOVEREIGN distributed voting protocol with entity contract governance and threshold homomorphic tallying.
Workshop paper covering the distributed-cell architecture and entity-contract governance components of SOVEREIGN, targeted at WPES / VOTE.