Home   >   Equipment/Infraestructures   >   HIGH PERFORMANCE SERVERS

High performance servers

Equipamiento/Infraestructura|elp

Type
-
Member
Address
Department of Information Systems and Computing U. Polytechnic of Valencia Camino de Vera S/N 46.020 Valencia
Province
Valencia
Website
Ubicación

INFORMATION ABOUT EQUIPMENT/INFR.

DESCRIPTION / SCOPE

-

TECHNOLOGICAL ENABLER

Ciber Security
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