The cryptographic primitive Private Function Evaluation (PFE) allows two parties to securely compute f(x), where x is the private input of one party and f is a private function given by the other party without learning anything but the output. There are many applications for PFE like insurance rate calculation , credit checking , and software diagnosis . It was recently shown that, for large function sizes, homomorphic encryption (HE)-based PFE  outperforms the more general approaches that use a universal circuit (UC)  as public function in a multi-party computation (MPC) protocol. However, UC-based PFE protocols are way more flexible as they are fully compatible to well-studied generic MPC protocols and can implement Boolean circuits consisting of any gates, while HE-based PFE cannot be easily implemented in existing MPC tools and is restricted to circuits of two input NAND gates. This thesis should investigate how the size of UCs can be reduced by replacing function blocks that implement, e.g., lookup tables or complex functionalities, with n-input gates , which can be easily included into universal circuits and evaluated with corresponding generic MPC protocols.
The goal of this thesis is to implement n-input gate support into the UC implementation of Alhassan et al. . This implementation then shall be used to compare the sizes of circuits optimized with n-input gates to equivalent circuits consisting of only 2-input gates. Finally, the optimized UCs have to be benchmarked with an MPC protocol and compared to previous works.
- Good programming skills in C++
- At least basic knowledge of cryptography
- High motivation to learn and ability to work independently
- Knowledge of the English language, Git, and LaTeX
-  D. Günther, Á. Kiss, L. Scheidel, T. Schneider: (opens in new tab). In CCS Poster/Demo, 2019. Framework for Semi-Private Function Evaluation with Application to Secure Insurance Rate Calculation
-  K.B. Frikken, M.J. Atallah, C.Zhang: (opens in new tab). In EC, 2005. Privacy-preserving Credit Checking
-  J. Brickell, D. E. Porter, V. Shmatikov, E. Witchel: (opens in new tab). In CCS, 2007. Privacy-preserving Remote Diagnostics
-  M. Holz, Á. Kiss, D. Rathee, T. Schneider: (opens in new tab). In ESORICS, 2020. Linear-Complexity Private Function Evaluation is practical
-  M.Y. Alhassan, D. Günther, Á. Kiss, T. Schneider: (opens in new tab). In JoC, 2020. Efficient and Scalable Universal Circuits
-  A. Sadeghi and T.Schneider: (opens in new tab). In ICISC, 2008. Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification
- ( Daniel Günther, M.Sc.email@example.com-…)
- ( Prof. Dr.-Ing. Thomas Schneiderschneider@encrypto.cs.tu-…)