Abstract Cyber ​​attacks have increased significantly in recent years, both against companiesas organizations. VRAIN of the UPV is working on the use of intelligence techniquesartificial intelligence […]

Abstract Currently there are many cyber-physical systems such as cars, planes or vehicles.aerial, with the capacity to make vital decisions. In this sense it is essential […]

Abstract We develop tools for the analysis and verification of security properties(safety) and protection (security) in mobile code (for example Java or Python), in protocolscryptographic communications […]