Cryptographic Protocol Efficiency via SAT solving

Project Details


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.
Effective start/end date01/01/202031/12/2023

Collaborative partners


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • 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, p. 137-152 16 p. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2023-July).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Open Access
    1 Citation (Scopus)