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 nuevo enfoque de la programación concurrente garantiza la corrección de los programas informáticos

El investigador Joakim Öhman, supervisado por el profesor Aleks Nanevski, presentó su tesis: «Compositional Reasoning of Concurrency with the Visibility Method» el pasado 15 de abril en el Instituto IMDEA Software, acompañado de colegas y familiares. Para mejorar aún más la eficiencia y la velocidad de los programas informáticos en la era posterior al escalado de Dennard, es esencial el desarrollo de programas concurrentes. Los programas concurrentes constan de múltiples procedimientos que se ejecutan en paralelo, los llamados hilos, que…

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…

Investigadores de IMDEA Software consiguen publicar 8 artículos en la Conferencia CCS

ACM es la principal conferencia anual del Special Interest Group on Security, Audit and Control (SIGSAC) de la Association for Computing Machinery (ACM). Un grupo de investigadores de IMDEA Software asistió a la Conferencia ACM sobre Seguridad Informática y de las Comunicaciones (CCS) en Los Ángeles, del 7 al 11 de noviembre, para presentar los 8 artículos que fueron aceptados. ACM es la principal conferencia anual del Special Interest Group on Security, Audit and Control (SIGSAC) de la Association for…

Anaïs Querol presenta “ARCHITECH: Advanced Research of Cryptographic Techniques to build efficient blockchains with privacy and security”, su tesis doctoral

El profesor asociado del Instituto IMDEA Software, Dario Fiore, ha dirigido la tesis de la investigadora Anaïs Querol cuyo objetivo principal es mejorar los métodos aplicados en la actualidad y que los desarrolladores puedan crear blockchains transparentes y descentralizadas con todas las garantías de privacidad y seguridad de forma eficiente. La que fuera estudiante de doctorado del Instituto IMDEA Software, Anaïs Querol, y supervisada por profesor Dario Fiore, realizó la defensa de su tesis el pasado mes de septiembre en la Escuela Técnica…