Projects per year
Projects
- 1 Active
-
CryptoProSAT: Cryptographic Protocol Efficiency via SAT solving
Brzuska, C., Karanko, P., Kohbrok, K., Alpirez Bock, E. & Lipiäinen, V.
01/01/2020 → 31/12/2022
Project: Academy of Finland: Other research funding