Abstrac
We develop tools for the analysis and verification of security properties
(safety) and protection (security) in mobile code (for example Java or Python), in protocols
cryptographic communications systems, for example based on elliptic curves or post-quantum cryptography, or on generic software systems, for example poor management of shared resources. He
The benefit that VRAIN of the UPV provides in this sense is having developed advanced techniques
reduction of the search space for solutions that have been integrated into different
applications developed in research centers around the world.