Propostas para Dissertação

Mestrados no Departamento de Informática

Consultar ficha completa de uma proposta de dissertação

proponente: Hugo Pacheco, José Bacelar Almeida
instituição/empresa: Universidade do Minho
tema/título: Compilation of Secure Multi-Party Computation Programs
área científica: Security
local: Braga
curso de mestrado: Mestrado Integrado em Engenharia Informática
Secure multi-party computation (SMC) is a subfield of cryptography enabling a number of untrusting
parties to compute a function on joint input without disclosing sensitive data. SMC has emerged, in recent years, as an exciting new solution to various real-world problems such as
e-voting, private auctions or secure outsourcing of computation to the cloud. This increasing popularity has inspired various domain-specific languages that allow non-experts to
program SMCs by simply describing their intended functionality. These languages exhibit
heterogeneous features, and their practical feasibility hinges on tactful constructs for revealing
secret information and mixing techniques with different security/efficiency trade-offs that are
error-prone and obscure the security/efficiency of the actual implementations. The goal of this thesis is to design a new SMC language and an associated compiler with better
security and efficiency guarantees. Like previous work, this language shall allow writing a single
program, that the compiler translates into a distributed low-level SMC protocol executing among
several parties. This compilation process faces two main research challenges: . Every successfully compiled program must be proven secure by the compiler. Existing languages
provide limited support for expressing and guaranteeing security properties of high-level programs,
especially when they allow mixing both public (fast) and secret (slow) computations. . Since secret computations can be very slow, a compiler must perform aggressive automatic
optimization to perform as many public computations as possible. Moreover, since a SMC protocol is
often executed in a distributed setting with high communication latency among parties, a compiler
shall optimize generated protocols to minimize communication among parties. Such automation has not
been previously explored.