Projekteja vuodessa
Hakutulokset
-
Päättynyt
CryptoProSAT: Cryptographic Protocol Efficiency via SAT solving (CryptoProSAT)
Brzuska, C. (Vastuullinen tutkija)
01/01/2020 → 31/12/2023
Projekti: Academy of Finland: Other research funding