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