Projects per year
Search results
-
Finished
MATINE_Hollanti_2022-2023: Kvanttiturvallisten hilasalausmenetelmien analyysi ja verifiointi
Hollanti, C. (Principal investigator), Alpirez Bock, E. (Project Member), Puniamurthy, K. (Project Member) & Yatsyna, P. (Project Member)
01/02/2022 → 31/12/2023
Project: Other external funding: Other government funding
-
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