The project aims to develop various fundamental technologies and then to build upon them with distinct, but complementary developments. The fundamental technologies we aim to investigate are:
- Secure Multiparty Computation (MPC)
- Fully Homomorphic Encryption (FHE)
- Domain-Specifi c Development Tools, and the application of
- Formal Methods to verify relevant properties of resulting systems.
These will be investigated in a holistic manner, by developing all these fundamental technologies simultaneously via the deployment technologies. New programming languages and tools will be developed to support applications in using a combination of underlying technologies such as secure multiparty computation and homomorphic encryption. In addition we believe that research on hardware support in one fundamental technology can be utilized in another.