Inicio > Equipamiento/Inf. > Servidores de altas prestaciones

Servidores de altas prestaciones

Equipamiento/Infraestructura|elp

Tipo
-
Miembro
dirección
Departamento de Sistemas Informáticos y Computación U. Politécnica de Valencia Camino de Vera S/N 46.020 Valencia
Provincia
Valencia
Website
Ubicación

INFORMACIÓN DEL EQUIPAMIENT/INFR.

DESCRIPCIÓN/ALCANCE

-

HABILITADOR TECNOLOGICO

Ciber Seguridad
Security & Privacy By Design tools

Program verification, safety analysis, provable security. Protocol crypto-analysis. Automated analysis, modeling, verification, synthesis, learning, debugging and optimization of complex systems and models