Wiskundige aspecten van veilige computaties

De kandidaat onderzoekt de meer wiskundige en algebraische aspecten van verscheidene 'secure computation' technologien zoals FHE, MPC, ZK etc. Het idee achter dit onderzoek is het vinden van nieuwe methodes om de prestaties van deze technologien te bevorderen en het gebruik van deze applicaties te bevorderen. Het werk zal zowel theoretisch onderzoek als experimenteel validering betreffen.