Cryptographic Protocol Efficiency via SAT solving

  • 1 Conference article in proceedings
  • 1 Article
Filter
Conference article in proceedings

Search results

  • 2023

    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 proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    3 Citations (Scopus)