Cryptographic Protocol Efficiency via SAT solving (CryptoProSAT)

Projektin yksityiskohdat

Tiivistelmä

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.
AkronyymiCryptoProSAT
TilaPäättynyt
Todellinen alku/loppupvm01/01/202031/12/2023

Yhteistyöpartnerit

Sormenjälki

Tutustu tutkimuksen aiheisiin, joita tämä projekti koskee. Nämä merkinnät luodaan taustalla olevien stipendien/apurahojen perusteella. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • A State-Separating Proof for Yao's Garbling Scheme

    Brzuska, C. & Oechsner, S., 2023, Proceedings - 2023 IEEE 36th Computer Security Foundations Symposium, CSF 2023. IEEE, s. 137-152 16 Sivumäärä (Proceedings - IEEE Computer Security Foundations Symposium; Vuosikerta 2023-July).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    2 Sitaatiot (Scopus)