Cryptographic Protocol Efficiency via SAT solving

Brzuska, Chris (Principal investigator)

Department of Mathematics and Systems Analysis

1 Conference article in proceedings
1 Article

1 results

Filter

2025
On Building Fine-Grained One-Way Functions from Strong Average-Case Hardness
Brzuska, C. & Couteau, G., Jan 2025, In: Journal of Cryptology. 38, 1, 8.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access