Projekteja vuodessa
Hakutulokset
-
Päättynyt
CryptoProSAT: Cryptographic Protocol Efficiency via SAT solving (CryptoProSAT)
Brzuska, C. (Vastuullinen tutkija), Alpirez Bock, E. (Projektin jäsen), Abuzaid, O. (Projektin jäsen), Karanko, P. (Projektin jäsen), Kohbrok, K. (Projektin jäsen), Cornelissen, E. (Projektin jäsen) & Puniamurthy, K. (Projektin jäsen)
01/01/2020 → 31/12/2023
Projekti: Academy of Finland: Other research funding