CRYSP
Financiado
Presupuesto del proyecto
1M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Software Testing Secure Software Development Information Security Network Security
Software Testing Secure Software Development Information Security Network Security
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#software security
#automated verification
#mathematical proof
#security specifications
#collaborative specification
#verification framework
#cryptographically secure programs
Lider