section7

Abstrac Cryptography offers tools to guarantee confidentiality, authenticity, integrityof information, the impossibility of repudiation of actions or decisions, as well as the availabilityof the services. Although […]

Abstrac 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 […]

Abstrac 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 […]

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 protocolscryptographic communications […]

Abstrac TESTAR is a software test automation tool that uses APIs fromaccessibility to connect and test systems through graphical user interface (GUI).TESTAR’s flexible architecture allows you […]

Abstrac From the VRAIN institute of the UPV we have developed different advanced techniques ofcode debugging, emphasizing automatic tools and/or stronglyassisted. We mainly consider techniques based […]

Abstrac For good software quality, it is necessary to use techniques that analyze thesoftware behavior and detect possible problems and solutions. But the cost of thesetools […]