La verificación formal es una disciplina que utiliza métodos matemáticos para comprobar si un sistema cumple determinadas propiedades o especificaciones.…
Read More
Verificación formal
Pruebas basadas en propiedades
En el desarrollo de software es común crear pruebas con entradas específicas para comprobar que una función produce el resultado…
Read More
Lenguajes seguros para la memoria
Los errores de administración de memoria han provocado numerosos problemas de seguridad en aplicaciones y sistemas operativos. Accesos indebidos, corrupción…
Read More
Credenciales verificables
Las credenciales verificables son documentos digitales que permiten demostrar información sobre una persona, institución o dispositivo de una manera que…
Read More
Tecnologías para mejorar la privacidad
Las tecnologías de mejora de la privacidad, conocidas como PETs (Privacy-Enhancing Technologies), reúnen diferentes herramientas diseñadas para reducir la exposición…
Read More
Privacidad diferencial
La privacidad diferencial es una técnica matemática que permite analizar conjuntos de datos sin revelar fácilmente información sobre una persona…
Read More
Cifrado homomórfico
Tradicionalmente, para procesar información cifrada es necesario descifrarla primero, realizar las operaciones correspondientes y volver a protegerla. Sin embargo, el…
Read More
Cómputo multipartito
La privacidad de la información se ha convertido en uno de los principales desafíos para las empresas que trabajan con…
Read More
Computación confidencial
Las organizaciones utilizan servicios en la nube para almacenar información, ejecutar aplicaciones y procesar grandes cantidades de datos. Sin embargo,…
Read More
Watermarking de IA
La generación de imágenes, audio y texto mediante Inteligencia Artificial está transformando la creación de contenido digital. Sin embargo, también…
Read More
This will close in 10 seconds
This will close in 0 seconds