VRAIN. Valencian Research Institute for Artificial Intelligence
Investigation areas
Attack and defence against threats
Critical infrastructures
Data processing
Evaluation of systems and cyber risk
Identity management
Privacy
Reliable and upgradeable systems
Lines of investigation
Access control and authentication
Access control based on behaviour
Anomaly detection
Attacker identification and location
Authentication protocols
Computational trust models
Cryptographic authentication
Design of security requirements
Detection and removal of malware
Detection of malicious software
Development of integrated security environments
Development of simulation environments for experimentation with trusted systems
Development of threat detection tools
Encryption protocols for preserving privacy
Formal interoperable models
Improvement of security protocols and standards
Information filtering
Post-quantum encryption
Reliable global-level identity generation
Search for the origin of the threat
Secure computing
Secure data processing
Secure development languages and frameworks
Secure multipart computing
Secure validation methods
Security / privacy through design
Simulation of dangerous environments
System modelling and system attacks
Threat and attack simulation
Verifiable computing
