I completed my dissertation in the field of cryptography, more precisely in formalising definitions of privacy in e-voting schemes. I formalised the SOTA definitions for ballot independence and ballot secrecy and proved that one implies the other. I wrote a python framework to showcase my proof in action: an attack in ballot independence suffices to compromise ballot secrecy.

 

My case study was using Helios, a voting scheme that uses homomorphic encryption (ElGamal). This is a field of research I wish to pursue further, and I would be interested to explore the intersection between privacy and decentralised architectures, particularly in the context of data markets.