Suomen Akatemia
Hakija / Yhteyshenkilö Brzuska, Chris
Organisaatio Aalto-yliopisto
Cryptographic Protocol Efficiency via SAT solving (CryptoProSAT)
Päätös 328698
Päätöspvm 04.09.2019
Rahoituskausi 01.01.2020 - 31.12.2022
Rahoitus (€) 444 000
WebFOCUS Report
Hankkeen julkinen kuvaus
In this project we develop cryptographic protocols to address security challenges around data processing such as the analysis of Facebook data, medical data, cloud computing, online auctioning, smart contracts and electronic voting. These settings require secure multi-party computation (MPC), namely advanced protocols that provide reasonable security guarantees for interactions between mutually mistrusting parties. The goal of this project is to synthesize efficient cryptographic protocols, together with a security reduction.