IMDEA Software lanza un nuevo enfoque que mejora la reparación automática de software

La herramienta FIXCHECK ofrece una solución robusta y efectiva en el campo del mantenimiento de software, revela fallos y previene la introducción de correcciones inadecuadas en el software. Todos actualizamos tarde o temprano nuestras aplicaciones móviles y programas informáticos, ya sea por las mejoras que ofrecen o porque deja de funcionar la versión anterior, entre otras cosas. Estamos habituados a las caídas de WhatsApp o de comercios electrónicos que por lo general tardan unas horas en volver a la normalidad.…

Investigadores crean técnicas innovadoras de verificación para incrementar la seguridad en la inteligencia artificial y el procesamiento de imágenes

Los resultados no sólo mejoran la eficiencia y escalabilidad de los sistemas de pruebas criptográficas, sino que también abren nuevas posibilidades para garantizar la integridad, equidad y privacidad de las tareas de procesamiento de datos en diversas aplicaciones de la inteligencia artificial y el procesamiento de imágenes. Un equipo de investigadores del Instituto IMDEA Software, la Universidad Carlos III de Madrid (UC3M) y NEC Laboratories Europe ha introducido un novedoso marco que promete mejorar la eficiencia y practicidad de la…

Verificación descentralizada y distribuida de flujos en tiempo real: Mejora de la supervisión en sistemas complejos

Determinar si un programa informático es correcto o defectuoso, que se comporta como se espera, es de lo que se encarga la verificación de software, la rama de investigación a la que se dedica Luis Miguel Danielsson. Dado que el software se ha convertido en una herramienta importante para resolver una amplia gama de problemas humanos, es necesario gestionar todos los detalles sobre cómo manejar los datos y el cálculo en un algoritmo determinado. Pero construir software fiable es una tarea…

Un estudio de IMDEA Software, IMDEA Networks y la UC3M revela el abuso generalizado de números de teléfono desechables en fraudes online

Los servicios en línea que requieren verificación por SMS como Google, Facebook, entidades bancarias o administraciones públicas no disponen de protecciones eficaces contra los abusos del ecosistema de números de teléfono desechables. El servicio de mensajes cortos (SMS), utilizado habitualmente para la verificación de cuentas, se ha convertido en un terreno de juego para actividades fraudulentas, según un estudio sobre el ecosistema de los números de teléfono desechables (DPN): “Your Code is 0000: An Analysis of the Disposable Phone Numbers…

Alessio Mansutti, el investigador que hizo el doctorado «por accidente» y ahora trabaja con algoritmos para teorías aritméticas

Cuando era niño, al investigador del Instituto IMDEA Software le encantaban el baloncesto y las revistas quincenales de ciencia para niños que venían con experimentos que hacía con su padre. A partir de ese momento, su fascinación por los temas científicos no hizo más que crecer.  El investigador Alessio Mansutti es de Udine, una ciudad del noreste de Italia, nos cuenta que es una ciudad maravillosa para vivir y que desde allí se puede llegar al mar Adriático o a los…

Escalando el monte Everest de la programación informática

Aleks Nanevski ha dedicado su vida a resolver uno de los mayores retos de la informática, emprendiendo un largo y arriesgado camino para revolucionar nuestra forma de concebir la programación en general, y la programación concurrente en particular. Aleks Nanevski, investigador del Instituto IMDEA Software, descubrió su pasión por las matemáticas a los 10 años cuando un profesor de su colegio en Macedonia vio en él aptitudes y empezó a darle clases extraescolares. Desde entonces, comenzó a participar en competiciones…