La energía eólica flotante ofrece un enorme potencial para el desarrollo de la energía marina en aguas profundas. Sin embargo, la gestión y el intercambio seguro de datos entre las partes interesadas representan un desafío clave para su evolución. Un…
MixBuy es el primer protocolo criptográfico que garantiza simultáneamente una compra digital segura y oculta la relación entre tienda y cliente. Los Investigadores del Instituto IMDEA Software, Diego Castejón Molina, Dimitris Vasilopoulos y Pedro Moreno-Sanchez presentan un sistema que supone…
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…
