Projects per year
Projects
- 1 Active
Search results
-
Active
CryptoProSAT: Cryptographic Protocol Efficiency via SAT solving
Brzuska, C., Alpirez Bock, E., Abuzaid, O., Karanko, P., Kohbrok, K., Cornelissen, E. & Puniamurthy, K.
01/01/2020 → 31/12/2023
Project: Academy of Finland: Other research funding