Marked mix-nets are a strange peice of cryptography that protects privacy but not integrity. They are well understood for cryptosystems based on the RSA assumpation and the discrete log problem. However, they also ought to work for system based on assumaptions beleived to hold against Quantum computers. This project will involve examing the applicability with of one or more candidate systems to makred mix-nets.
This project would suit someone with a strong maths background, particurly in linear algebra.