R&D Projects
Confirmed projects database queries
Call for Funding of Research and Development Projects in all Scientific Domains - 2009
ComFormCrypt - Computational Semantics of Formal Methods in Cryptography
PTDC/EIA-CCO/113033/2009
-
Main Research Area
-
Computer Science and Engineering - Computer Science
-
Keywords
-
Cryptography
-
Formal Verification
-
Computational Complexity
-
Computer Security
-
Funding
- €
118,000.00
Project institutions not found