Technical

Interfold Cryptography

Verifiability in the Coordination Trilemma

Technical

Vote Masking and the Problem of Receipt-Freeness

Interfold Cryptography

GRECO: Proving Correct Encryption in The Interfold