Home   >   Demonstrators   >   ATAME

ATAME

Demonstrator|elp

Description
Automated Safety Enforcement via Specialization.
Member
elp
Address
Department of Information Systems and Computing U. Polytechnic of Valencia Camino de Vera S/N 46.020 Valencia
Province
Valencia

DEMONSTRATOR INFORMATION

DESCRIPTION

Automated Safety Enforcement via Specialization.

POSSIBILITIES

-

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