Practical Secure Computation in the Client-Server Model

Doctoral Thesis (2025)
Author(s)

J.V. Vos (TU Delft - Cyber Security)

Contributor(s)

Z. Erkin – Promotor (TU Delft - Cyber Security)

Mauro Conti – Promotor (TU Delft - Cyber Security, University of Padua)

Research Group
Cyber Security
More Info
expand_more
Publication Year
2025
Language
English
Research Group
Cyber Security
ISBN (electronic)
978-94-6518-075-5
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

To compute something securely is to do so in a way that does not reveal (some of) the inputs, intermediate values, or outputs, to certain predetermined parties. For example, a hospital might outsource the computation of patients’ medical analyses to the cloud without the cloud provider being able to extract sensitive medical information. Researchers have proposed cryptographic protocols capable of performing secure computation for any function imaginable. However, there are still technical obstacles that hinder practical deployments of secure computation protocols. In this thesis, we identify four such impracticalities and propose techniques to address them.

A crucial building block that forms the basis of all protocols in this thesis is homomorphic encryption. Like ‘regular’ encryption it protects the encrypted values from being seen. However, it also allows one to perform computations on these encrypted values, without decrypting them. We distinguish between partially-homomorphic encryption schemes, which allow for some specific computations to be performed, and fully-homomorphic encryption schemes, which can perform any computation imaginable....