Mathematical Aspects of Secure Computation

The candidate will investigate the more mathematical and algebraic aspects of various secure computation technologies (FHE, MPC, ZK etc). The idea being to find novel new methods to improve performance and extend the range of applications. The work will involve theoretical investigation as well as experimental validation.