Los investigadores de IMDEA Software Gilles Barthe, Marco Guarnieri y David Mateos Romero han recibido el premio al artículo distinguido en la ACM Conference on Computer and Communications Security (CCS) por su artículo «Testing side-channel security of cryptographic implementations against…
La sexta generación de tecnologías de comunicaciones inalámbricas sucederá a la actual 5G. Pese a que aún se encuentra en fase experimental, el rendimiento de la red se verá multiplicado en cuanto a velocidad, dispositivos conectados (IoT), herramientas emergentes…
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…
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…
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…
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…
El investigador del Instituto IMDEA Software Dimitris Kolonelos, supervisado por el Prof. Dario Fiore, presentó ayer ante el tribunal su tesis doctoral: “Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments” en la Escuela Técnica Superior de Ingeniería Informática (ETSIINF) de…
Hasta la fecha se desconocía hasta qué punto las limitaciones metodológicas y los datos incompletos afectaban a las estimaciones de ingresos de los grupos de ciberdelincuentes que utilizan la cadena de bloques, Bitcoin. Un nuevo estudio, realizado por los investigadores…
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…
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…
