Iniciativa IMDEA

Inicio > Noticias

Noticias del Instituto IMDEA Software

29 de junio de 2017: Dario Fiore ponente invitado en MathCrypt 2017

Dario Fiore , investigador de Instituto IMDEA Software, ponente invitado en el evento MathCrypt dentro del NIMS Hot Topics Workshop en Daejon, Korea, del 29 al 30 de Junio. La charla de Dario, titulada "Computing on Encrypted Data", presenta cómo garantizar la seguridad de operaciones realizadas remotamente sobre datos almacenados en un servidor no fiable. Hay más información sobre esta línea de investigación en la web de Dario.

20 de junio de 2017: Pedro López-García y Manuel Hermenegildo reciben el premio "Prueba del Tiempo" en un congreso de primer nivel

Los investigadores Pedro López-García y Manuel Hermenegildo del Instituto IMDEA Software, y sus co-autores Jorge Navas (SRI) y Edison Mera (PDC), reciben el premio a la "Prueba del Tiempo" en el 33 Congreso Internacional de Programación Lógica (ICLP 2017), el congreso más importante del área, por su artículo "Análisis de Cotas de Consumo de Recursos Definibles por el Usuario en Programas Lógicos", publicado en ICLP 2007. El premio de la "Prueba del Tiempo" se otorga al artículo publicado hace 10 años que ha tenido el mayor impacto.

El artículo ganador, de Navas, Mera, López-García y Hermenegildo, propone y desarrolla una técnica que permite a los programadores implementar herramientas de análisis y verificación para una clase muy amplia de recursos (tales como tiempo de ejecución, consumo de energía, y otras propiedades cuantitativas definibles por el usuario) de una manera sencilla, definiendo estos recursos y otros parametros mediante sencillas anotaciones de programa. El programa, junto con estas anotaciones y especificaciones de recursos constituyen la entrada a un analizador configurable (implementado dentro del sistema CiaoPP) que, automáticamente, y sin ejecutar el programa, predice el uso de los recursos definidos, para garantizar que el consumo de recursos del programa está dentro de los límites especificados.

Desde su presentación en 2007 este método y su implementación en CiaoPP han sido aplicados por diferentes grupos para inferir cotas superiores e inferiores (como funciones) para recursos tales como consumo de memoria, tiempo de ejecución, o energía, para un rango amplio de lenguajes desde código fuente de alto nivel a ensamblador. El método también se ha extendido, mejorado y generalizado a lo largo de los últimos 10 años.

El contenido del artículo y un resumen de su impacto en otros trabajos durante esta década se presentarán en una charla invitada plenaria en el congreso ICLP 2017, que se celebrará en Melbourne, Australia, del 28 de agosto al 1 de septiembre de 2017, conjuntamente con SAT'2017 y CP'2017.

15 de junio de 2017: Publicado análisis a gran escala de la comunicación en red de ejecutables maliciosos en prestigioso congreso

El investigador Juan Caballero y el estudiante de doctorado Platon Kotzias han publicado un artículo de investigación en el 36th IEEE Symposium on Security and Privacy, uno de los mejores congresos en ciberseguridad el cual se ha desarrollado en San Jose, California. La investigación es una colaboración con Chaz Lever y Manos Antonakakis del Instituto de Tecnología de Georgia y con Davide Balzarotti del Institute EURECOM en Francia. La investigación, que puede encontrarse aquí desarrolla un análisis a gran escala de la comunicación en red de 26.8 millones de ejecutables maliciosos en combinación con más de 5 billones de resoluciones DNS observadas en un gran proveedor de servicios de Internet (ISP) en Norte América. Entre otros resultados, los autores descubren que los dominios DNS contactados por el malware a menudo aparecen en el tráfico de red semanas o meses antes que ejecutables que los contactan son recolectados. También demuestran que los programas potencialmente no deseados (PUP) utilizan una infraestructura sorprendentemente estable de dominios DNS y direcciones IP.

El artículo ha sido recientemente presentado en el 40th M3AAWG General Meeting en Lisboa el 15 de Junio de 2017.

13 de junio de 2017: Charla invitada en el encuentro del M3AAWG

El investigador de IMDEA Juan Caballero dará una charla en el 40º encuentro M3AAWG en Lisboa el 13 de Junio. El grupo de trabajo M3AAWG (Messaging, Malware, Mobile, Anti-Abuse Working Group) es la mayor asociación industrial de empresas que trabajan contra botnets, malware, spam, virus, ataques DoS y otras amenazas a la ciberseguridad. Se compone de 200 empresas incluyendo (entre muchas otras): Apple, AT&T, Comcast, Facebook, Google, LaCaixa, LinkedIn, Microsoft, Orange y Yahoo.

12 de junio de 2017: Investigadores de IMDEA Software asisten a la celebración del décimo aniversario del ERC

El día 12 de junio, en Madrid, tiene lugar la celebración del décimo aniversario del Consejo Europeo de Investigación o ERC (European Research Council). El evento, organizado por la Fundación para el Conocimiento madri+d, cuenta con la participación de dos investigadores de IMDEA Software, Alexey Gotsman y Aleks Nanevski, beneficiarios de subvenciones otorgadas por el ERC.

12 de junio de 2017: Carmela Troncoso recibe el premio al mejor revisor en IEEE Security and Privacy Symposium

La investigadora de Instituto IMDEA Software Carmela Troncoso recibe el premio al mejor revisor en el IEEE Security and Privacy Symposium 2017, el congreso más prestigioso del área.

10 de junio de 2017: IMDEA Software co-organiza dos escuelas doctorales

El Instituto IMDEA Software co-organiza dos escuelas doctorales este verano:

09 de junio de 2017: Premio al artículo destacado en SATToSE

Alessandra Gorla, investigadorda del Instituto IMDEA Software y su estudiante de doctorado Paolo Calciati recibieron un premio al artículo más destacado en el décimo Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE), que se celebro en Madrid del 7 al 9 de junio de 2017. El artículo, titulado “How do Apps Evolve in Their Permission Requests? A preliminary Study”, fue recientemente publicado en el congreso 14th International Conference on Mining Software Repositories.

Picture.

08 de junio de 2017: Los medios se hacen eco del trabajo de un estudiante de IMDEA Software

El estudiante de doctorado de IMDEA Software Luca Nizzardo ha demostrado, junto con Matteo Campanelli (City College de Nueva York), Steven Goldfeder (Universidad de Princeton) y el Profesor Rosario Gennaro (City College de New York), que el protocolo ZKCP para el intercambio de mercancías digitales es inseguro. En su último artículo muestran cómo llevar a cabo un ataque contra este protocolo empleando las vulnerabilidades de su versión actual y proponen una solución para las mismas. El artículo ha tenido gran repercusión, apareciendo en el blog Zcash y el blog de Princeton "Freedom to Thinker". El proyecto de investigación en el que se engloba este trabajo ha sido desarrollado en el CAISS (Center For Algorithms and Interactive Scientific Software) y dirigido por Rosario Gennaro (City College de Nueva York) . La estancia de Luca en el CAISS esta financiada de manera conjunta por la City University de Nueva York e Instituto IMDEA Software.

01 de junio de 2017: Gilles Barthe ponente invitado en EUROCRYPT 2017

El investigador del Instituto IMDEA Software Gilles Barthe ha sido ponente invitado en EUROCRYPT 2017 en Paris, Francia. EUROCRYPT es el segundo congreso de criptografía más prestigioso a nivel mundial.

La charla de Gilles, titulada 'Advances in computer-aided cryptography' ofrece una revisión de los últimos desarrollos en herramientas que tratan de automatizar el diseño, análisis e implementación de primitivas y protocolos criptograficos.

Las trasnparencias de la charla pueden encontrarse aquí.

31 de mayo de 2017: Director de IMDEA Software participa en “Thought Leadership Workshop”

Manuel Carro participó en el “Thought Leadership Workshop”, evento organizado por NESSI, la Plataforma Tecnológica Europea del Software y Servicios. Los invitados al evento, que tuvo lugar en Bruselas del 31 de mayo al 1 de junio, definieron los puntos a tratar en el campo de las TICs en el noveno Programa Marco de la Comisión Europea.

Picture

31 de mayo de 2017: IMDEA Software participa en el Infoday Marie Curie - COFUND

El Instituto IMDEA Software participó en el MC – COFUND Infoday, un evento informativo organizado por la Oficina Europea del MINECO y orientado a informar a los beneficiarios españoles de COFUND (FP7 y H2020) sobre como gestionar un programa de estas características. El evento incluyó la asistencia de Alan Craig (representante del Programa Marie Curie de la Comisión Europea), quien hizo una presentación de la actual convocatoria de 2017.

Juan José Collazo, Project Manager del Programa AMAROUT II, presentó los resultados del mismo. AMAROUT II es coordinado por IMDEA Software e incluye la participación de los siete Institutos IMDEA. El programa es cofinanciado por un MC-COFUND en el FP7.

Imagen 1 Imagen 2 Imagen 3

“This project has received funding from the European Union’s FP7 research and innovation and innovation programme under the Marie Sklodowska-Curie grant agreement No 291803.”

29 de mayo de 2017: Manuel Carro es elegido nuevo Director

Tras más de 10 años de dedicación a la creación y desarrollo del Instituto IMDEA Software, Manuel Hermenegildo dejó el cargo de director para centrarse más en su investigación. El Patronato y Consejo Científico le han ascendido a la categoría de Distinguished Professor.

El Patronato, con el apoyo unánime del Consejo Científico, nombró a Manuel Carro, anterior Director Adjunto, nuevo director del Instituto. El Dr. Carro es Associate Research Professor en el Instituto desde 2011 y también en la Universidad Politécnica de Madrid, donde obtuvo su Doctorado en Informática.

15 de mayo de 2017: El ataque WannaCry: ¿se podría haber evitado?

Doce de mayo de 2017: cientos de miles de ordenadores de todo el mundo fueron el objetivo del tristemente famoso ataque WannaCry. ¿Hubiera sido posible evitarlo de un modo alternativo a la instalación de versiones "parcheadas" de los sistemas operativos Windows afectados? ¿Pueden otras situaciones similares prevenirse en lugar de curarse? Investigadores en seguridad del Instituto IMDEA Software exploran en este documento qué puede hacer ahora mismo la investigación más reciente en informática y qué podría hacerse en el futuro.

09 de mayo de 2017: IMDEA Software empieza la temporada de escuelas doctorales

Varios investigadores del Instituto IMDEA Software participarán en prestigiosas escuelas de verano de todo el mundo:

29 de abril de 2017: Un Investigador de IMDEA Software da una Charla Invitada en VPT@ETAPS

El investigador del Instituto IMDEA Software Manuel Hermenegildo ha dado una charla invitada el 29 de abril sobre Análisis y Verificación del Consumo de Energía en el Quinto Taller Internacional sobre Verificación y Transformación de Programas, VPT 2017, en Uppsala, Suecia, como parte de la vigésima edición de los "Congresos Conjuntos sobre la Teoría y Práctica del Software," ETAPS 2017.

18 de abril de 2017: Un estudiante de IMDEA recibe un diploma en la competición actúaupm

La idea de negocio: “Private Common Data Analytics” del estudiante de IMDEA Bogdan Kulynych ha recibido un diploma en la competición actuaupm, la Competición de Creación de Empresas de la UPM. La idea propone el uso de técnicas avanzadas de cryptografía para permitir a dos organizaciones encontrar partes comunes en sus datos y analizarlas conjuntamente sin revelar el resto de datos.

Blog actuaupm

17 de abril de 2017: Publicado el Informe Anual 2016

El Instituto IMDEA Software ha publicado su Informe Anual 2016.

04 de abril de 2017: El director de IMDEA SW asiste a la ceremonia de firma UNESCO/INRIA.

El director del Instituto IMDEA Software Manuel Hermenegildo ha asistido a la ceremonia de firma de colaboración UNESCO/INRIA - Preservation and sharing of Software Heritage. La ceremonia de firma ha tenido lugar lugar en presencia del Director General de la UNESCO y del Presidente de la República de Francia, François Hollande. Manuel Hermenegildo ha asistido a la ceremonia como representante del Instituto IMDEA Software y como miembro del gabinete de asesores científicos de INRIA.

Página Web del evento

03 de abril de 2017: El Investigador Asociado Roberto Giacobazzi recibe la Cátedra de Excelencia de la Comunidad de Madrid.

Nos congratula dar la bienvenida al Profesor Roberto Giacobazzi de Universidad de Verona, Italia como Investigador Asociado en Instituto IMDEA Software.

El Profesor Giacobazzi ha sido nombrado Catedrático de Excelencia por la Consejería de Educación, Juventud y Deporte de la Comunidad de Madrid.

Roberto es un experto reconocido por sus trabajos en el campo de la interpretación abstracta, tanto a nivel teórico cómo práctico, aplicando esta teoría al análisis estático de software, la seguridad basada en lenguajes y el análisis de malware, entre otros. Con más de un centenar de publicaciones en conferencias y revistas internacionales, Roberto forma parte de los comités del ACM Symposium on Principles of Programming Languages (POPL) y Static Analysis Symposium (SAS).

03 de abril de 2017: Una estudiante de IMDEA recibe el premio al mejor Trabajo de Fin de Máster de SISTEDES-Accenture Technology

El Trabajo de Fin de Máster: “Code Search: A Semantic, Abstract-Interpretation Based Approach” de la estudiante de IMDEA Isabel García ha recibido el premio SISTEDES-Accenture Technology 2016 al mejor Trabajo Fin de de Máster sobre nuevas metodologías y herramientas para el desarrollo de software.

El trabajo ha sido desarrollada en el Instituto IMDEA Software bajo la supervisión de Manuel Hermenegildo y José Francisco Morales dentro del programa del Máster en Inteligencia Artificial de la Universidad Politécnica de Madrid. Isabel recibirá el premio durante las Jornadas SISTEDES 2017 en julio de 2017 en Tenerife, España.

La tesis pone una solución nueva al problema de búsqueda de código en grandes bases de datos, basada en la propiedades semánticas de éste, y un nuevo lenguaje de consulta que permite expresar dichas propiedades. La naturaleza semántica de este enfoque se basa en el uso de la intepretación abstracta, en contraste con otros enfoques actuales que son básicamente sintácticos. El trabajo incluye una implementación de la propuesta para comprobar su viabilidad práctica utilizando el lenguaje de programación multiparadigma Ciao.

Comunicación oficial

23 de marzo de 2017: REDIMadrid migra el trafico del departamento de Altas Energías de la UAM a la red dedicada LHCONE

Gracias a la adquisición de un Fibra Óptica oscura, REDIMadrid ha podido realizar la migración del trafico del departamento de altas energías de la Universidad Autónoma de Madrid (UAM) a la red LHCONE (Large Hadron Collider Open Network Environment). La red LHCONE es una red dedicada para trafico de máquinas LHC tanto tier 1, 2 y 3 con la cual se consigue separar el trafico de máquinas LHC del trafico de máquinas que no pertenecen al LHC. La migración del trafico se realizó de manera satisfactoria el día 15/03 por el grupo de trabajo de REDIMadrid sin ninguna incidencia señalable. Actualmente, la red dispone de 10Gbps dedicados para el envío y recepción de trafico LHC.

REDIMadrid es la red de centros de investigación de alta velocidad de la Comunidad de Madrid, financiada por la DGUI de la CAM y gestionada por el Instituto IMDEA Software.

15 de marzo de 2017: Nuevo proyecto financiado por el MINECO: DataMantium

El Instituto IMDEA Software participa en un nuevo proyecto financiado por el MINECO y coordinado por Scytl en el marco de la convocatoria RETOS-Colaboración 2016.

El proyecto “DataMantium: Computación y comunicaciones seguras en la nube para entornos hostiles” tiene como bjetivo desarrollar mecanismos de seguridad para proteger la integridad y privacidad en los datos y procesos de los usuarios en entornos cloud no confiables. Los resultados del proyecto apuntan directamente a temas especialmente relevantes en ciberseguridad y confianza digital, tales como la criptografía, la protección de la confidencialidad e integridad de la información y el desarrollo de tecnologías de comunicación en redes privadas y seguras. El proyecto cuenta con la participación de los investigadores de IMDEA Software Carmela Troncoso and Dario Fiore.

Imagen 1 Imagen 2

“El Ministerio de Economía, Industria y Competitividad (MINECO), dentro del Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016, concedió ayuda al proyecto “DataMantium: Computación y comunicaciones seguras en la nube para entornos hostiles” con número de expediente RTC-2016-4930-7, coordinado por SCYTL. Este proyecto ha sido cofinanciado por el Fondo Europeo de Desarrollo Regional (FEDER) y el Ministerio de Economía, Industria y Competitividad dentro del Subprograma RETOS-COLABORACIÓN, Convocatoria 2016. El objetivo principal para esta convocatoria es promover el desarrollo tecnológico, la innovación y una investigación de calidad.”

15 de marzo de 2017: Nuevo proyecto financiado por el MINECO: AxE-Javascript

El Instituto IMDEA Software participa en un nuevo proyecto financiado por el MINECO y coordinado por Scytl en el marco de la convocatoria RETOS-Colaboración 2016.

El proyecto “AxE Javascript: Auditable E-voting using Javascript” tiene como objectivo brindar una solución a los problemas de confidencialidad en el campo de la seguridad en sistemas de voto electrónico mediante el desarrollo de un software de e-voting con las más altas propiedades de exactitud y seguridad. Para ello se definirán rigurosamente las propiedades de seguridad de sistemas de voto electrónico y se desarrollarán e implementarán nuevos métodos que den una evidencia real de la exactitud y seguridad en estos sistemas. Esto permitirá una significativa mejora en la transparencia de los sistemas de voto electrónico usados por organizaciones electorales. El proyecto cuenta con la participación del investigadores de IMDEA Software Gilles Barthe.

Imagen 1 Imagen 2

“El Ministerio de Economía, Industria y Competitividad (MINECO), dentro del Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016, concedió ayuda al proyecto “AxE Javascript: Auditable E-voting using Javascript” con número de expediente RTC-2016-4930-7, coordinado por SCYTL. Este proyecto ha sido cofinanciado por el Fondo Europeo de Desarrollo Regional (FEDER) y el Ministerio de Economía, Industria y Competitividad dentro del Subprograma RETOS-COLABORACIÓN, Convocatoria 2016. El objetivo principal para esta convocatoria es promover el desarrollo tecnológico, la innovación y una investigación de calidad.”

08 de marzo de 2017: IMDEA Software participa en la séptima edición de Con ciencia en la escuela

El Instituto IMDEA Software participa en "Con ciencia en la escuela", un evento divulgativo que tiene como objetivo acercar la ciencia a los ciudadanos. El Instituto presenta tres demostraciones con las cuales los asistentes pueden aprender acerca de Criptografia, ataques laterales en navegadores web, y automatización.

El evento esta organizado por Círculo de Bellas Artes y FUHEM, con la colaboración de madri+d, Editorial SM, Cooperativa de Enseñanza José Ramón Otero, Consejería de Educación, Juventud y Deporte de laComunidad de Madrid, y Fundación Española para la Ciencia y la Tecnología-Ministerio de Economía y Competitividad (FECYT).

Sobre Con ciencia en la escuela

Imagen 1

28 de febrero de 2017: IMDEA Software participará en el desarrollo de un sistema antifraude financiado por EIT Digital

El investigador del instituto IMDEA Software, Juan Caballero, participará en el desarrollo de un sistema antifraude bancario a través de internet. El proyecto está financiado por la Línea de Acción “Digital Finance” del EIT Digital.

La “Monitorización antifraude de la banca en línea” es una de las tres actividades innovadoras de la Línea de Acción “Digital Finance” del EIT Digital en 2017. Digital Finance, también conocida como “FinTech”, busca ofrecer servicios y productos financieros de forma digitalizada, con el objetivo de hacer los sistemas financieros más seguros, transparentes y fáciles de utilizar por parte de los consumidores. Para ello propone hacer uso de las tecnologías digitales de manera que la experiencia de los usuarios mejore y se reduzca la dependencia de infraestructuras bancarias centralizadas.

Press release by EIT digital

24 de febrero de 2017: La prensa se hace eco de Coowry, una de las “startups” que acoge IMDEA

Coowry, una “startup” que facilita micropagos y cuyas oficinas se encuentran en el instituto de IMDEA Software, aparece en el periódico español ABC.

Artículo.

30 de enero de 2017: Investigadora de IMDEA participa en un workshop sobre privacidad para Interpol

La investigadora de Instituto IMDEA Software Carmela Troncoso ha participado en el 2nd INTERPOL Workshop on Privacy Enhancing Technologies que ha tenido lugar el 30 de Enero en Lyon, Francia. La ponencia de Carmela, titulada “Privacy-preserving systems: Systematic reasoning for design and evaluation.” explicó como abordar la ingeniería de sistemas TIC desde el punto de vista de la privacidad. La charla describe mecanismos para razonar acerca de como diseñar sistemas TIC con altas garantias de privacidad, y medios para abordar la evaluación de dichos diseños en términos de cuanta información privada puede ser obtenida por un adversario.

25 de enero de 2017: Un investigador de IMDEA Software gana un premio por su trabajo sobre la protección de la privacidad

El investigador del Instituto IMDEA Software, Dario Fiore, en colaboración con Michael Backes (DE), Manuel Barbosa (PT) y Raphael M. Reischuk (CH), ha ganado la primera edición del premio CNIL/Inria sobre protección de la privacidad. El premio, organizado conjuntamente por las organizaciones gubernamentales francesas CNIL e Inria, le ha sido concedido gracias a su trabajo “ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data”.

Anuncio Oficial

18 de enero de 2017: Charla de un investigador de IMDEA Software en la escuela de primavera: “Security & Correctness in the Internet of Things 2017”

El investigador del Instituto IMDEA Software, Boris Köpf, dará una conferencia en la escuela de primavera: “Security & Correctness in the Internet of Things 2017” que tendrá lugar entre los días 8 y 12 de mayo en Graz, Austria.

Web del evento

20 de diciembre de 2016: El Instituto IMDEA Software recibe a los ganadores del concurso EIT Digital Summer School Competition en Privacidad, Seguridad y Confianza.

Los cinco ganadores del concurso EIT Digital Summer School Competition en Privacidad, Seguridad y Confianza por el mejor proyecto han visitado la sede de EIT Digital en Madrid ubicada en Instituto IMDEA Software como parte de su premio. Durante su visita han conocido a los investigadores de IMDEA Software Carmela Troncoso y Dario Fiore que les han explicado las actividades que realiza IMDEA en los campos de la privacidad y la ciberseguridad, y les han dado recomendaciones sobre los aspectos de seguridad del producto en el que han estado trabajando durante los cursos de verano de EIT Digital. Además del encuentro con los investigadores, han conocido al equipo local del Business Accelerator y han visitado la unidad de negocios en ciberseguridad de Telefónica.

Picture

16 de diciembre de 2016: Otra prestigiosa ERC Grant para un investigador de IMDEA Software

El investigador de Instituto IMDEA Software Aleks Nanevski recibe la prestigiosa financiación ERC Consolidator Grant para llevar a cabo el proyecto "Mathador - Type and Proof Structures for Concurrent Software Verification".

Escribir programas concurrentes entraña mucha dificultad dada la complejidad de las interacciones entre sus componentos. Esta complejidad aumenta cuando uno trata de desarrollar pruebas matemáticas, automaticamente verificables, que demuestren que el programa produce el resultado deseado. Hoy en día desarrollar este tipo de pruebas requiere un considerable esfuerzo incluso para los programas más simples debido a la explosión combinatórica asociada a la complejidad de las interacciones entre componentes.

El objetivo del proyecto Mathador es estudiar, descomponer y simplificar la estructura de pruebas para programas concurrentes, de tal manera que puedan ser facilmente producidas. Este resultado ayudará a nuestra comprensión de las interacciones entre componetes concurrentes, y cambiará la manera en la que pensamos, escribimos, y entendemos el software concurrente.

Más información: Comunicado de prensa de ERC y Lista de beneficiarios de la beca ERC Consolidator Grant.

06 de diciembre de 2016: Resultados de IMDEA Software parte de una tesis doctoral galardonada en Francia

Sonia Belaid, colaboradora del investigador Gilles Barthe del Instituto IMDEA Software, ha recibido el premio “Trophées des ingénieurs du futur” organizado por las publicaciones “Industrie & Technologies” y “Usine Nouvelle” por su trabajo doctoral “Security of Cryptosystems Against Power-Analysis Attacks”. Su tesis incluye su trabajo sobre verificación de la seguridad de algoritmos enmascarados frente a ataques por análisis de potencia diferencial, realizado en colaboración con Gilles Barthe y François Dupressoir and Pierre-Yves Strub, antiguos miembros del instituto.

Comunicado de prensa (francés)

29 de noviembre de 2016: El Instituto IMDEA Software alberga un evento de match-making en Ciberseguridad orientado a la Industria organizado por EIT digital

El Instituto IMDEA Software ha albergado un evento de match-making en Ciberseguridad organizado por EIT digital. Cinco grandes empresass (ATOS, Ferrovial, Indra, Scytl and Telefonica/11Paths) han acudido al evento, presentando grandes desafios relacionados con la problemática de Ciberseguridad. Diez start-ups y dos organismos de investigación (Instituto IMDEA Software y Universidad Politécnica de Madrid) presentaron su tecnología, productos e ideas para resolver estos desafios. El evento contó con una charla de apertura sobre retos en materia de Ciberseguridad y las capacidades del Instituto IMDEA Software, impartida por los investigadores Juan Caballero y Carmela Troncoso.

Foto 1 Foto 2 Foto 3

28 de noviembre de 2016: Investigadores de IMDEA ascendidos a Associate Research Professor

Los investigadores del Instituto IMDEA Software Boris Köpf y Juan Caballero, han sido ascendidos a Associate Research Professor tras un proceso en el que han participado expertos internacionales de alto nivel. El ascenso ha sido aprobado por el Patronato y el Consejo Científico del Instituto.

06 de noviembre de 2016: Artículo mejor valorado en PPDP'16

Un artículo de la estudiante del Instituto IMDEA Software Nataliia Stulova, y los investigadores José Francisco Morales y Manuel Hermenegildo, con título “Reducing the Overhead of Runtime Checks via Static Analysis”, fue el mejor valorado de todos los aceptados en el 18th International Symposium on Principles and Practice of Declarative Programming, PPDP, celebrado en Edimburgo, UK, en conjunción con los congresos 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR y 23rd. Static Analysis Symposium, SAS.

21 de octubre de 2016: Investigadores de IMDEA publican 3 artículos el ICLP 2016 y DC-ICLP 2016

Investigadores del Instituto IMDEA Software presentaron dos artículos en la 32nd International Conference on Logic Programming (ICLP'16), celebrada en Nueva York, que han sido publicados en una edición especial de la revista "Theory and Practice of Logic Programming" (TPLP), y un artículo aceptado en el ICLP affiliated Doctoral Consortium on Logic Programming.

El primer artículo, de la estudiante de doctorado Isabel García junto con los investigadores José Francisco Morales y Manuel Hermenegildo, titulado "Abstract Code Search", presenta una nueva técnica de búsqueda de código basada en buscar propiedades semánticas inferidas automáticamente, en vez de utilizar sus propiedades estructurales o sintácticas.

El segundo artículo, del investigador Pedro López-García junto con los estudiantes de doctorado Maximiliano Klemen y Umer Liqat, y el investigador Manuel Hermenegildo, titulado "A General Framework for Static Profiling of Parametric Resource Usage", describe la implementación de un nuevo marco para realizar análisis del uso de recursos en código estático.

El tercer artículo, del estudiante de doctorado Joaquín Arias será presentado en el 12th ICLP Doctoral Consortium (DC-ICLP), un foro para estudiantes de doctorado que trabajen en áreas relacionadas con la programación lógica. Este artículo será publicado en la Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs).

Cabe destacar que tres investigadores del Instituto IMDEA Software: Manuel Carro, José Francisco Morales y John Gallagher forman parte del comité de programa.

18 de octubre de 2016: IMDEA Software busca Postdocs y estudiantes de doctorado en Seguridad y Verificación

El Instituto IMDEA Software abre dos plazas para trabajar en el proyecto Europeo ElasTest, en las áreas de Seguridad (bajo la supervisión de Juan Caballero) y Verificación (bajo la supervisión de Cesar Sanchez) en el contexto de testeado de aplicaciones en la Nube.

Ambas plazas pueden ser cubiertas por investigadores post-doctorales o estudiantes de doctorado. Los candidatos deberán elegir a qué nivel realizar la solicitud. Ambas plazas tienen como fecha de incorporación enero de 2017 (negociable) y tienen como duración entre 2 y 3 años para investigadores post-doctorales y entre 4 y 5 años (hasta finalización del doctorado) para doctorandos.

Más información aquí.

17 de octubre de 2016: Manuel Carro, co-presidente del congreso ICLP'16

Manuel Carro, director adjunto del Instituto IMDEA Software, es co-presidente del Congreso Internacional sobre Programación Lógica 2016 (ICLP'16), el principal congreso internacional dedicado a la investigación en programación lógica y áreas afines. ICLP'16 tendrá lugar en New York City del 18 al 21 de Octubre de 2016, con workshops pre-congreso y la escuela de otoño en lógica y computación en los días 16 y 17. El programa detallado del congreso está disponible aquí.

Website: http://software.imdea.org/Conferences/ICLP2016/

30 de septiembre de 2016: Los Institutos IMDEA en la Noche de los Investigadores de Madrid 2016

La Noche Europea de los Investigadores de Madrid 2016, coordinada por la Fundación para el Conocimiento madrimasd, es un evento financiado por la Comisión europea, que se celebra simultáneamente en 300 ciudades europeas. En Madrid, la Noche ha contado con la presencia de 20 instituciones de orientación científica, incluyendo los Institutos IMDEA.

Más detalles en la noticia ampliada en IMDEA.org

27 de septiembre de 2016: Dos Investigadores de IMDEA participan en el IBM GSE Management Summit

Los investigadores de Instituto IMDEA Software Juan Caballero y Dario Fiore han dado sendas charlas invitadas en el GSE Management summit que ha tenido lugar en Lisboa, Portugal, el 26-27 September. La charla que ha impartido el Dr. Juan Caballero, sobre detección de servidores maliciosos en la red, se titula “CyberProbe and AutoProbe: Towards Internet-Scale Active Detection of Malicious Servers”, y la charla del Dr Dario Fiore, sobre seguridad en la Nube, se titula “Modern Cryptography for Privacy and Integrity in the Cloud”.

23 de septiembre de 2016: Carmela Troncoso presenta Ingenieria con Privacidad por Diseño en el ZISC Workshop

La investigadora Carmela Troncoso del Instituto IMDEA Software, participa en el ZISC Workshop organizado por el centro de ETH "Zurich Information Security & Privacy Center".

La charla, que se puede descargar aqui, describe como razonar sistemáticamente acerca de aspectos de privacidad a la hora de desarrollar sistemas TIC. La primera parte de la charla hace explícitas las estratecias que los expertos en privacidad utilizan, y demuestra como estas estrategias hacen necesario el uso de tecnologías para protección de la privacidad (Privacy Enhancing Technologies, PETs). La segunda parte, describe enfoques técnicos para desarrollar este tipo de tecnologías de manera óptima para dar soporte al diseño de sistemas en base al principio de Privacidad por diseño.

19 de septiembre de 2016: Dos nuevos artículos aceptados en conferencias internacionales sobre Criptografía

El investigador de Instituto IMDEA Software Dario Fiore, es el autor de dos papers que han sido aceptados en prestigiosas conferencias internacionales sobre Criptografía.

El primero, en coautoría con Anca Nitulesco (ENS Paris), ha sido aceptado en la Conferencia sobre Teoría de la Criprografía (14th Theory of Cryptography Conference, TCC 2016-B). El trabajo, titulado “On the (In)security of SNARKs in the Presence of Oracles”, estudia las propiedades de seguridad de sistemas de pruebas criptográficas eficientes. Este trabajo se realizó en parte mientras A. Nitulesco realizaba una pasantía en el Instituto.

El segundo artículo, junto con el estudiante de doctorado Luca Nizzardo, y Katerina Mitrokotsa y Elena Pagnin from Chalmers University, has sido aceptado en la Conferencia Internacional sobre Teoría y Aplicaciones de Cryptologia y Seguridad de la información (22nd Annual International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2016). Este trabajo, titulado “Multi-Key Homomorphic Authenticators”, propone nuevos mecanismos criptográficos que permiten garantizar la correccíon de datos y cómputos realizados sobre los mismos de manera remota.

15 de septiembre de 2016: Nuevo proyecto financiado por EU: Elastest

El Instituto IMDEA Software participará en un nuevo proyecto Europeo de Horizon 2020 llamado “ElasTest: an elastic platform for testing complex distributed large software systems”. El Proyecto ElasTest construirá una infraestructura para ayudar a los desarrolladores a testear y validar software a gran escala (“software in the large”) manteniendo la compatibilidad con las prácticas y herramientas de desarrollo existentes. ElasTest aplicará una combinación de técnicas de instrumentación, orquestrado y recomendación de tests, específicamente diseñadas para mejorar la confiabilidad del software a gran escala con un énfasis en las aplicaciones en la nube. El consorcio ElasTest está compuesto por 11 empresas, universidades y centros de investigación de 6 países Europeos. El Instituto IMDEA Software trabajará en las tareas de verificación dinámica (Dr. Cesar Sanchez) y seguridad (Dr. Juan Caballero). El proyecto comenzará en Enero del 2017 y durará 3 años.

14 de septiembre de 2016: Investigadores de IMDEA Software Publican 4 artículos en el prestigioso Congreso ACM sobre Seguridad Informática y Comunicaciones (CCS)

Cuatro artículos de investigadores de Instituto IMDEA Software han sido aceptados para su publicación en la 23 edición del congreso de la ACM (Association for Computing Machinery, EEUU) sobre Seguridad Informática y Comunicaciones (CCS), una de los más prestigiosos congresos en este área, que se celebrará a finales de Octubre en Viena, Austria.

El trabajo de Dario Fiore, titulado "Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data", en coautoría con Cédric Fournet, Markulf Kohlweiss, Olga Ohrimenko y Bryan Parno from Microsoft Research, y Esha Ghosh de la Universidad de Brown University, propone nuevas técnicas criptográficas que garantizan la corrección de operaciones realizadas por terceras partes no confiables.

Los otros tres artículos tienen como autor al investigador Gilles Barthe. El primer artículo, "Advanced Probabilistic Couplings for Differential Privacy", con Noémie Fong (ENS & IMDEA Software Institute), Marco Gaboardi (University at Buffalo, SUNY), Benjamin Grégoire (Inria), Justin Hsu (University of Pennsylvania) y el antiguo miembro de IMDEA researcher Pierre-Yves Strub, propone nuevas técnicas para verificar formalmente algoritmos que ofrecen privacidad diferencial.

En la misma temática, el segundo artículo: "Differentially Private Bayesian Programming", con Gian Pietro Farina y Marco Gaboardi (University at Buffalo, SUNY), Emilio Jesús Gallego Arias (CRI Mines – ParisTech), Andrew D. Gordon (Microsoft Research), Justin Hsu (University of Pennsylvania) y Pierre-Yves Strub, presenta novedosos métodos para generar y verificar algoritmos Bayesianos de aprendizaje máquina con protección diferencial de privacidad.

Finalmente, el tercer artículo, "Strong non-interference and type-directed higher-order masking", con with Sonia Belaïd (Thales Communications & Security), Pierre-Alain Fouque (Université Rennes 1), Benjamin Grégoire (Inria) Rebecca Zucchini (Inria), Pierre-Yves Strub y François Dupressoir (también antiguo miembro del Instituto IMDEA Software) propone una metodología automática para verificar la seguridad de algoritmos enmascarados frente a ataques por análisis de potencia diferencial, asi como para generar versiones enmascaradas partiendo de la descripción desprotegida de un algoritmo.

Más información en CCS 2016.

12 de septiembre de 2016: Manuel Hermenegildo y Pedro Lopez presiden el Comité de Programa de LOPSTR 2016

Manuel Hermenegildo y Pedro López-García, investigadores del Instituto IMDEA Software, han presidido el Comité de Programa del 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) celebrado en Edimburgo, UK, del 6 al 8 de septiembre de 2016, en conjunción con los congresos 18th International Symposium on Principles and Practice of Declarative Programming, PPDP, y 23rd. Static Analysis Symposium, SAS. El programa seleccionado se puede encontrar aquí. El simposio internacional sobre tranformación y síntesis de programas basado en la lógica promueve la investigación y colaboración internacional en el desarrollo de programas con utilizando técnicas de la lógica, en cualquier paradigma de programación.

08 de septiembre de 2016: Investigador de IMDEA Software recibe prestigiosa ERC Grant

El investigador Alexey Gotsman Instituto IMDEA Software recibe la prestigiosa 'ERC Starting Grant'. Su proyecto, RACOON - A Rigorous Approach to Consistency in Cloud Databases, investigará algoritmos para asegurar la consistencia en bases de datos en la Nube.

Más información: Comunicado de prensa oficial y listado oficial de ganadores de la ERC Starting Grant.

En las noticias: Europa concede 28 millones de euros a 19 investigadores de España

03 de agosto de 2016: Juan Caballero elegido miembro del comité editorial de la prestigiosa revista Privacy and Security de la ACM

El investigador del Instituto IMDEA Software Juan Caballero ha sido elegido miembro del comité editorial de la revista ACM Transactions on Privacy and Security (TOPS). ACM TOPS publica resultados de investigación de alto impacto en las áreas de seguridad de la información, seguridad de sistemas y privacidad. Anteriormente conocida como ACM TISSEC, la revista ha sido rebautizada recientemente para incluir las áreas de privacidad y protección de datos.

01 de agosto de 2016: IMDEA Software busca cuatro Postdocs y un estudiante de doctorado en ciberseguridad

El Instituto IMDEA Software ofrece una plaza para realizar investigación predoctoral en el área de Criptografía. El estudiante trabajará en esta temática bajo la supervisión de Dario Fiore.

El Instituto también ofrece cuatro plazas de investigador postdoctoral en Criptografía, Privacidad, Anonimato, Lenguajes de Programación, Verificación y Ataques por Canal Lateral. Estos investigadores podrán trabajar con uno de los siguientes investigadores del centro: Gilles Barthe, Dario Fiore, Boris Köpf, Carmela Troncoso.

Más información en esta página.

18 de julio de 2016: Publicada AVClass, una herramienta para etiquetar malware

El "Malicia Lab" del Instituto IMDEA Software, liderado por Juan Caballero, ha puesto en distribución AVClass, una herramienta para etiquetar malware.

AVClass automatiza una tarea realizada normalmente por los analistas de malware. Toma como entrada las etiquetas que las herramientas antivirus asignan a los ejecutables escaneados (p.ej., informes JSON de VirusTotal) y proporciona como salida la familia más probable para cada ejecutable que puede extraer de las etiquetas de los antivirus. También proporciona opcionalmente un ranking de todas los familias candidatas que identifica para cada ejecutable.

El diseño y la evaluación de AVClass se detallan en un artículo de investigación que aparecerá en RAID 2016: AVClass: A tool for Massive Malware Labeling. Marcos Sebastián, Richard Rivera, Platon Kotzias, and Juan Caballero. En International Symposium on Research in Attacks, Intrusions and Defenses, Septiembre 2016.

13 de julio de 2016: Firma del convenio entre los Institutos IMDEA y la fundación MadrI+D para colaborar en la Noche Europea de los Investigadores

Los Institutos IMDEA y la fundación MadrI+D firmaron el convenio que sella, un año más, su colaboración en la Noche Europea de los Investigadores de Madrid.

La Noche Europea de los Investigadores es un proyecto europeo que busca acercar la figura del investigador a la sociedad. En 2016 se celebrará el viernes 30 de septiembre de forma simultánea en más de 300 ciudades europeas. En Madrid, y coordinadas por la Fundación MadrI+D, 20 instituciones académicas y científicas organizarán 72 actividades abiertas a todos los públicos.

Los Institutos IMDEA participan este año con "Una ciencia muy deportiva o un deporte muy científico", organizada en la Residencia de Estudiantes del CSIC.

La actividad se plantea como la emulación de lo que ocurre en unas Olimpiadas tras la finalización de una prueba. Se entrevistará a investigadores de los siete institutos IMDEA como medallistas de sus respectivas competiciones para conocer más de cerca sus aficiones deportivas, cómo afectan a su trabajo, el paralelismo entre ciencia y deporte, y más que se desvelarán en la Noche de los Investigadores -- incluyendo preguntas de la audiencia.

12 de julio de 2016: EMSE Master thesis supervisada por investigadores de IMDEA defendida por Hasser Veramendi

Hasser Veramendi ha defendido con éxito su tesis de Máster, co-dirigida por los investigadores de Instituto IMDEA Software Manuel Carro y Carmela Troncoso. La tesis ha sido realizada en el marco del European Master in Software Engineering de la Universidad Politécnica de Madrid (UPM).

11 de julio de 2016: IMDEA Software miembro fundador de la European Cyber Security Organisation (ECSO)

El martes pasado la Comisión Europea publicó el contrato para la nueva new Public-Private Partnership en Ciberseguridad con la European Cyber Security Organisation (ECSO), de la cual el Instituto IMDEA Software es miembro fundador. Esta PPP espera promover una inversión de 1.8 billones de Euros antes de 2020.

ECSO es una organización pan-europea liderada por la Industria cuyos miembros son una gran variedad de actores, tales como compañias Europeas, PYMES, start-ups, usuarios, operadores, centros de investigación, universidades, y asociaciones; así como los propios Estados Miembros y otras administraciones locales, regionales o nacionales. ECSO colabora con la Comisión Europea en la promoción de la Investigación e Innovación en ciberseguridad y tendrá un rol clave en el establecimiento de la Agenda Estratégica Europea en esta temática así como en el establecimiento de la hoja de ruta en materias de ciberseguridad.

El Instituto IMDEA Software ha participado en la primera Asamblea General de ECSO que ha tenido lugar la semana pasada en Bruselas, en la que se eligieron los miembros de los órganos directivos de la asociación. El representante de la RENIC, la Red Nacional de Excelencia en Investigación en Ciberseguridad, de la cual el Instituto IMDEA Software es también miembro fundador, ha sido elegido miembro del Consejo Directivo (Board of Directors).

07 de julio de 2016: IMDEA Software miembro fundador de la RENIC

El Instituto IMDEA Software participa en el establecimiento de la Red Nacional de Excelencia en Investigación en Ciberseguridad (RENIC), convirtiéndose en uno de los miembros fundadores. La RENIC ha sido fundada por 16 entidades de toda España (Universidades, Centros de Investigación y Centros Tecnológicos) dedicadas a la investigación en esta temática.

05 de julio de 2016: IMDEA Software acoge el workshop Master en Science and Online I&E Education de EIT Digital

La sede madrileña del EIT Digital en el Instituto IMDEA Software ha acogido el workshop del EIT Digital Master Science and Online I&E education durante los días 4 y 5 de junio.

El workshop ha sido organizado por el Prof. Gonzalo Leon (Education Support, EIT Digital Madrid, y Director del CAIT de la UPM) y por la Dra. Susana Eiroa (Lider del Doctoral Training Centre en EIT Digital Madrid, e IMDEA Software).

El evento, que ha reunido a representantes de todos los programas de EIT Digital I&E education de toda Europa, ha tenido como objetivo coordinar el enfoque de los programas de educación, incluyendo el diseño de nuevas estrategies de innovación y emprendimiento. Entre los participantes han estado el equipo de Educación en I&E de Madrid (Gonzalo León, Alberto Tejero and Arístides Senra, del CAIT de la UPM), asi como Frederic Renouard (Coordinador de I&E de EIT Digital y director de la sede en Rennes), Olli-Pekka Mutanen (Aalto University), Erik Jensen (TU Delft), Jean-Michel Dalle (UPMC), Matteo Bonifacio (U. Trento), Farideh Heidari (TUE), Adam Tarsci (ELTE) y Terrence Brown (KTH).

29 de junio de 2016: Pierre Ganty profesor invitado en la escuela de verano “Cursos de Verano, Matemáticas para el mundo y para la sociedad”

El investigador de Instituto IMDEA Software Pierre Ganty ha sido ponente invitado en los “Cursos de Verano, Matemáticas para el mundo y para la sociedad” organizados por la Universidad Complutense. La escuela ha tenido lugar del 27 de junio al 1 de julio en San Lorenzo de El Escorial. La ponencia de pierre se ha enmarcado en la sesión "Garantizando la corrección y seguridad de los sistemas".

28 de junio de 2016: Boris Köpf Preside el comité de programa del Computer Security Foundations Symposium

El investigador de Instituto IMDEA Software Boris Köpf, ha co-presidido el comité de programa del Simposio 29th IEEE Computer Security Foundations (CSF 2016) junto con Michael Hicks de la Universidad de Maryland. El programa del evento se encuentra aqui. El simposio ha tenido lugar del 27 de junio al 1 de julio en Lisboa. Este simposio reúne anualmente a investigadores del campo de la ciberseguridad, y se centra en aspectos fundamentales de la seguridad informática y sus aplicaciones prácticas

27 de junio de 2016: Investigadores de IMDEA Software dan clases en diversas escuelas de verano

Varios investigadores del Instituto IMDEA Software dan clases magistrales en prestigiosas escuelas de verano de todo el mundo:

16 de junio de 2016: La investigación de Alessandra Gorla recibe una Mención Especial en las Jornadas Nacionales de Ciberseguridad

El artículo "Abnormal sensitive data usage in Android apps" de la investigadora Alessandra Gorla, junto con Vitalii Avdiienko, Konstantin Kuznetsov, y Andreas Zeller (Saarland University), y Steven Arzt, Siegfried Rasthofer y Eric Bodden (TU Darmstadt), recibe una Mención Especial en las “Jornadas Nacionales de Investigacion en Ciberseguridad” (JNIC 2016).

Otros dos artículos del Instituto IMDEA Software se han presentado en las jornadas: Ayudante: Identifying undesired variable interactions (Abstract), por Irfan Ul Haq, Juan Caballero y Michael D. Ernst (University of Washington); y "Engineering privacy by design reloaded", por Carmela Troncoso con Seda Gurses (Princeton University) y Claudia Díaz (KULeuven).

07 de junio de 2016: IMDEA Software alberga el primer seminario Madrileño en Ingeniería del Software Empírica (MAdSESE)

Veinte investigadores de diversas instituciones españolas (IMDEA, URJC, UPM, UAH, EHU, UCLM and Bitergia) se han reunido en el Instituto IMDEA Software el 7 de Junio para celebrar el primer seminario Madrileño de Ingeniería del Software Empírica (MadSESE). Sandro Morasca (Università dell’Insubria, Italia) ofreció una charla plenaria durante el evento. Más información aquí.

31 de mayo de 2016: Los estudiantes Juan Manuel Crespo y Goran Doychev obtienen su doctorado

Juan Manuel Crespo y Goran Doychev han obtenido el título de doctor la última semana. Ambos estudiantes han presentado su tesis en la Universidad Politécnica de Madrid, dentro del programa de doctorado DSS, en el cual colaboran investigadores de IMDEA.

Juan Manuel ha defendido la tesis "Automation and Modularity of Cryptographic Proofs in the Computational Model", supervisada por el investigador de Instituto IMDEA Software Gilles Barthe. Este trabajo propone nuevos métodos para obtener pruebas criptográficas automatizadas de manera efectiva, sin perder rigor y obteniendo fuertes garantías de seguridad.

La tesis de Goran "Tools for the Evaluation and Choice of Countermeasures against Side-Channel Attacks", supervisada por el investigador de Instituto IMDEA Software Boris Köpf, se centra en el desarrollo de herramientas para apoyar a diseñadores e implementadores en la elección de mecanismos de protección para evitar pérdidas de información a través de canales laterales durante la ejecución de protocolos criptográficos.

26 de mayo de 2016: Entrevista con Juan Caballero en notiweb, el servicio de noticias de madri+d

Notiweb, el servicio diario de noticias de madri+d, publica una entrevista con el investigador Juan Caballero sobre el “lado oscuro” del software.

Enlace a la entrevista completa.

14 de mayo de 2016: Publicado el Informe Anual 2015

El Instituto IMDEA Software ha publicado su Informe Anual 2015.

04 de mayo de 2016: Mejor Artículo en PODC 2016

Los investigadores del Instituto IMDEA Software Alexey Gotsman y Andrea Cerone han obtenido el premio al mejor artículo en el prestigioso simposio internacional Principles of Distributed Computing ([PODC 2016] (http://www.podc.org/)) organizado por la ACM por el trabajo titulado “Analysing Snapshot Isolation”.

03 de mayo de 2016: 3er Taller Microsoft Research - Instituto IMDEA Software

El tercer Taller del Centro de Investigación Conjunto entre Microsoft Research y el Instituto IMDEA Software se celebra el 3 y 4 de Mayo de 2016, en las instalaciones de Microsoft Research en Cambridge, Reino Unido. El programa del taller está dirigido a la presentación de los trabajos en temas de vanguardia que ambos centros realizan en colaboración y a discutir cómo llevar, donde sea posible, dichos avances al mercado.

El taller se centra en los siguientes tres proyectos:

Las jornadas están organizadas por Judith Bishop y Markulf Kohlweiss de Microsoft Research y por Manuel Hermenegildo y Alexey Gotsman del Instituto IMDEA Software.

Los dos días de taller incluyen ponencias plenarias de los siguientes investigadores:

Se puede encontrar más información en las páginas web del Centro Conjunto MSR-IMDEA Software y en las páginas del Taller en Microsoft Research.

21 de abril de 2016: IMDEA Software en notiweb, el servicio de noticias de madri+d

Notiweb, el servicio diario de noticias de ciencia y tecnología de madri+d ha publicado el artículo “El Software: Cuando las nubes y las manzanas no son lo que parecen” sobre el trabajo que realizan algunos de los investigadores del Instituto IMDEA Software.

Enlace al texto completo.

23 de marzo de 2016: Mejor Artículo en FSE 2016

Los investigadores del Instituto IMDEA Software Gilles Barthe y François Dupressoir, junto con José Bacelar Almeida (Universidade do Minho y HASLab ­ INESC Tec) y Manuel Barbosa (Universidade do Porto and HASLab ­ INESC Tec), han obtenido el premio al mejor artículo en la vigésimotercera edición del prestigioso congreso internacional Fast Software Encryption ([FSE 2016] (https://fse.rub.de/index.html)) por el trabajo titulado “Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC”.

10 de marzo de 2016: Manuel Carro, coorganizador y presidente del comité de programa de PROHA'2016

Manuel Carro, director adjunto de Instituto IMDEA Software, coorganiza y preside el comité de programa del primer workshop sobre Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016). El workshop tendrá lugar el 12 de marzo de 2016 en Barcelona, como un workshop asociado a CGO y en conjunción con prestigiosas congresos como HPCA, PPoPP, EuroLLVM y CC. El workshop se centra en técnicas y herramientas de síntesis y transformación de programas para ayudar en el desarrollo y mantenimiento de programas para arquitecturas heterogéneas.

23 de febrero de 2016: El estudiante del Instituto IMDEA Software Antonio Nappa obtiene su doctorado

Antonio Nappa ha defendido su tesis doctoral “Defending Against Cybercrime: Advances in the Detection of Malicious Servers and the Analysis of Client-Side Vulnerabilities”. La tesis se centra en el análisis de dos aspectos complementarios del cibercrimen. Por un lado las máquinas infectadas que se usan para monetizar los resultados del crimen (p.ej., ataques de denegación de servicio, spam, fraude por click, etc.) y por otro lado la infrastructura de servidores que se crea para poder controlar dichas máquinas infectadas (p.ej., centros de comando, servidores de explotación, servidores de redirección, etc.). En la primera parte la tesis investiga la evolución de la exposición a amenazas en el tiempo de máquinas víctima de ciberataques. En la segunda, propone nuevas técnicas de sondeo activas para detectar y analizar las infraestructuras que hay detrás del cibercrimen.

La tesis de Antonio Nappa, que ha obtenido “cum laude” en la Universidad Politécnica de Madrid, ha sido supervisada por el investigador de Instituto IMDEA Software Juan Caballero.

Enlace a la tesis

22 de febrero de 2016: Seminario sobre Reconocimiento de Oportunidades en Innovación y Emprendimiento del EIT Digital Doctoral School in Madrid

El seminario sobre Reconocimiento de Oportunidades en Innovación y Emprendimiento ha tenido lugar esta semana, del 22 al 26 de Febrero, en la sede madrileña del EIT Digital situada en el Instituto IMDEA Software, como parte de las actividades organizadas por la Madrid EIT Doctoral School. El seminario fue organizado por el Prof. Gonzalo Leon (Education Support, EIT Digital Madrid, y Director del CAIT de la UPM) y por la Dra. Susana Eiroa (Lider del Doctoral Training Centre en EIT Digital Madrid, e IMDEA Software)

El seminario esta dirigido a estudiantes de doctorado de primer y segundo año, con el propósito de proporcionarles los conocimientos necesarios para desarrollar una idea de negocio basado en el trabajo e ideas que desarrollan durante su tesis.

El curso se ha centrado especialmente en la estructura del mercado de las TIC en Europa y a nivel mundial, en la protección y explotación de los resultados de una tesis doctoral, en los medios para obtener fondos que den soporte al desarrollo de ideas, y en las distintos modelos de negocio existentes para su monetización.

Durante el curso, los participantes han tenido la oportunidad de conocer expertos en innovación, investigadores y emprendedores; así como para intercambiar experiencias y establecer contactos, y presentar ideas de negocio.

El curso ha incluido una serie de charlas impartidas por ejecutivos, emprendedores, investigadores y mentores de start-ups como Elisa Martín (Chief of Technology and Innovation, IBM), Amit Pau (MD Ariadne Capital & Entrepreneur Country Global; Partner, Ariadne Fund), Dr. Jesús Contreras (EIT Digital BDA – CLC Manager), David Pascual (Manager of Institutional Development of Innovation, INDRA), Carlos Otermin (Manager Business Incubator, CAIT UPM), Simón Viñals (Director of Technology at INTEL), Juan Polo (EMEA Enterprise Client Marketing Manager at INTEL), Prof. José Carlos González (CEO MeaningCloud LLC, Partner and Member Advisory Board de Singular Meaning), entre otros.

Más información en:

Información del curso en EIT Digital | EIT Digital Madrid DTC | Madrid EIT DIGITAL APG | CAIT UPM | UPM | Instituto IMDEA Software

Picture 1 Picture 2 Picture 3 Picture 4

19 de febrero de 2016: Manuel Hermenegildo invitado como ponente sobre EIT Digital por el Centro para el Desarrollo Tecnológico Industrial (CDTI)

El Instituto Europeo para la Innovación y Tecnología (European Institute of Innovation and Technology, EIT) abre la convocatoria de 2016 para nuevas Comunidades de Conocimiento (Knowledge Innovation Communities, KICs). El Centro para el Desarrollo Tecnológico Industrial (CDTI) ha invitado a Manuel Hermenegildo, director del Instituto IMDEA Software y de EIT Digital Madrid, a compartir la experiencia y buenas prácticas de los miembros españoles del KIC EIT Digital en una reunión con los sonsorcios solicitantes potenciales españoles. La reunión fue inaugurada por el director de CDTI, Francisco Marín, y contó con la participación de Michal Gorzynski, Director de la Sección de Monitorización del EIT y Josep Samitier, Director del Instituto de Bioingeniería de Cataluña y de EIT Health Barcelona.

Foto

18 de febrero de 2016: Visita de Representates del Gobierno Autonómico de Madrid

El Instituto ha tenido el honor de recibir a José Manuel Torralba Castelló, Director General de Universidades e Investigación, y a Rafael García Muñoz, Subdirector General de Investigación de la Consejería de Educación, Juventud y Deporte de la Comunidad de Madrid, que han estado visitando nuestras instalaciones y conversando con investigadores del Instituto acerca de los progresos en nuestras diferentes líneas de trabajo.

15 de febrero de 2016: Reunión de lanzamiento del proyecto NEXTLEAP en Paris

La reunión de lanzamiento del proyecto NEXTLEAP se celebró en Paris, Francia, los días 15 y 16 de Febrero de 2016, y asistió Carmela Troncoso, investigadora principal del proyecto en el Instituto IMDEA Software.

NEXTLEAP es un Proyecto Europeo aprobado dentro del programa H2020 cuyo principal objetivo es el desarrollo de un sistema de mensajeria segura extremo a extremo, con especial énfasis en proporcionar privacidad y libertad a los usuarios. Los principales resultados técnicos del proyecto, en los que colaborará el Instituto, serán una Agenda Digital Segura que no revele los contactos sociales a ningún proveedor de servicio, una Arquitectura de Comunicación Segura que no permita inferir información a observadores pasivos como los Proveedores de Servicio de Internet o las Agencias Gubernamentales, y un Módulo de Análisis de Datos Privado que permita el cálculo de estadísticas sin revelar información privada de los usuarios.

Además de por el Instituto IMDEA Software, el consorcio del proyecto NEXTLEAP está formado por INRIA (Francia), University College London (Reino Unido), CRNS (Francia), IRI (Francia), y Merlinux, una PYME alemana dedicada al desarrollo de Software.

10 de febrero de 2016: Visita del representante Europeo de la ONR de los Estados Unidos

El pasado miércoles 10 de Febrero tuvimos el placer de recibir en nuestra sede del Instituto IMDEA Software al Dr. Charles J. Holland, representante Europeo de la Oficina de Investigación Naval de los Estados Unidos (ONR Global, por sus siglas en inglés).

Durante la visita se realizó un recorrido por las instalaciones del Instituto, donde el Dr. Charles J. Holland tuvo ocasión de conocer a varios investigadores y en especial al equipo que participa en el proyecto Syncrypt.

Syncrypt es un projecto de cyberseguridad coordinado en el Instituto IMDEA Software por Gilles Barthe y Benedikt Schmidt, en colaboración con la Universidad de Stanford y la Universidad de Pennsylvania, y que ha recibido más de 1 millón de dólares de financiación procedente de la "Office of Naval Research (ONR)" de EEUU.

10 de febrero de 2016: Manuel Hermenegildo preside el Comité de Programa de CC 2016

Manuel Hermenegildo, director del Instituto IMDEA Software, ha presidido el Comité de Programa del 25th International Conference on Compiler Construction (CC 2016). El programa seleccionado se puede encontrar aquí. El congreso se celebrará el 17 y 18 de marzo en Barcelona, en conjunción con los congresos CGO, HPCA, PPoPP, y EuroLLVM. El Congreso Internacional sobre Construcción de Compiladores publica trabajos sobre procesamiento de programas en el sentido más general: análisis, transformación y ejecución de datos que describen cómo opera un sistema, incluyendo la construcción de compiladores tradicionales.

31 de enero de 2016: Premio en el XSSMas Challenge para un doctorando de IMDEA Software

El estudiante de doctorado Pepe Vila ha ganado el premio a la “solución más corta” en el concurso anual Cross-Site Scripting Challenge, organizado por la empresa de seguridad Cure53. El reto consistía en explotar nuevos vectores de XSS en navegadores y evadir diversas medidas de seguridad y métodos de filtrado utilizando el vector más corto posible.

XSSMas Challenge wiki

28 de enero de 2016: Carmela Troncoso Panelista en la Conferencia Computers, Privacy & Data Protection

La investigadora de Instituto IMDEA Software Carmela Troncoso ha participado como panelista invitada en el congreso Computers, Privacy & Data Protection (CPDP) en Bruselas, Bélgica. CPDP es el congreso más grande a nivel mundial en Privacidad y Protección de datos, reuniendo a más de 1000 participantes de diferentes sectores, legisladores y miembros de agencias estatales de protección de datos, representantes de la industria, y del sector académico.

Carmela participó en el panel organizado por la Comisión Europea, concretamente por el directorado DG Connect (European Commission Directorate General for Communications Networks, Content & Technology), titulado “Enhancing privacy and security through technological innovation”. En su charla “Seeing Privacy Enhancing Technologies as Business Enabling Technologies”, Carmela expuso a los asistentes nuevos avances en tecnologias de privacidad, como las desarrolladas en Instituto IMDEA Software, que permiten el diseño de sistemas TIC que ofrecen la misma funcionalidad que los sistemas actuales sin invadir la privacidad de los usuarios.

22 de diciembre de 2015: CADENCE: nuevo servicio para detección de amenazas disponible en el mercado

El Instituto IMDEA Software es uno de los principales desarrolladores de CADENCE, un innovador servicio de reconocimiento de amenazas. CADENCE es un servicio diseñado especificamente para la detección de ataques dirigidos y amenazas persistentes avanzadas, conocidas normalmente por sus siglas en inglés, APT (por Advanced Persistent Threat).

CADENCE es el resultado de una actividad de innovación promovida por EIT Digital en el ámbito de Privacy, Security & Trust, liderada por Communication Valley Reply y cuyos socios tecnológicos son TNO y el Instituto IMDEA Software. Communication Valley Reply es la compañía del grupo Reply especializada en servicios de seguridad; y TNO es una organización holandesa dedicada a la investigación aplicada cuyo objetivo es fomentar innovación que mejore la competitividad de la industria y el bienestar de la sociedad.

El producto CADENCE fue presentado el 9 de Diciembre en Milán.

La noticia completa puede leerse en la web de EIT Digital.

15 de diciembre de 2015: IMDEA Sostware Encuentra Vulnerabilidades en el Software de Seguridad de Amazon

Gilles Barthe y François Dupressoir, investigadores del Instituto IMDEA Software, han contribuído al descubrimiento de nuevas vulnerabilidades en el software de código abierto s2n distribuido por Amazon. El software s2n es una librería que implementa el protocolo TLS para proporcionar seguridad a la capa de transporte en comunicaciones en red. Junto con Michael Emmi, también miembro del Instituto, estos investigadores están trabajando en el desarrollo de herramientas que permitan, de manera automática, probar la ausencia de vulnerabilidades en implementaciones de protocolos seguros, como por ejemplo s2n.

La historia completa puede leerse en el Blog de Seguridad de Amazon Web Services.

07 de diciembre de 2015: Investigadores de IMDEA Software Mentores en Primer Programa de Aceleración en Ciberseguridad

Los investigadores del Instituto IMDEA Software Juan Caballero y Jesús Contreras han sido seleccionados como mentores en el primer Programa Nacional de Aceleración en Ciberseguridad.

Más información aquí.

02 de diciembre de 2015: Seminario sobre "Fomento de la Innovación y Emprendimiento"

El Instituto IMDEA Software alojó y co-organizó el primer seminario de la escuela de doctorado de EIT Digital sobre "Fomento de la Innovación y Emprendimiento". Este seminario ofrece a los candidatos de primer año del doctorado industrial de EIT Digital una perspectiva fresca sobre cómo sus tesis doctorales pueden contribuir a la innovación en Europa. El seminario, de dos días de duración, organizado por Susana Eiroa (Madrid DTC Lead, EIT Digital Madrid, e IMDEA Software), el Prof. Gonzalo León (Education Support, EIT Digital Madrid, y UPM), y Jesús Contreras (BDA, EIT Digital Madrid, e IMDEA Software), contó con la participación especial del Prof. Maurizio Gabbrielli (coordinador de la escuela de doctorado de EIT Digital).

Durante el primer día hubo presentaciones realizadas por Gonzalo León, Francisco Javier Elorza (Vicerrector de doctorado y estudios de posgrado, UPM) y Maurizio Gabbrielli, y los candidatos doctorales presentaron sus ideas y planes de investigación. Durante el segundo día, personalidades académicas e industriales como el Prof. Juan José Moreno (Catedrático de la UPM e IMDEA Software), Daniel Concepción (CTO Banco Santander) y J.M. Leceta (director anterior del EIT) impartieron charlas sobre doctorados industriales, su importancia en la empresa y emprendimiento. El día se cerró con las presentaciones de Radouane Oudrhiri (CEO Evolvys) y CEOs / CTOs de start-ups como Coowry, BioD, y DAIL Software.

Hay más información en:

La página del evento en EIT Digital.

EIT Digital Madrid DTC

Madrid EIT DIGITAL APG

CAIT UPM

UPM

Instituto IMDEA Software

Day 1 Day 1 Day 2

26 de noviembre de 2015: Visita de Representates del Gobierno Autonómico de Madrid

El Instituto ha tenido el honor de recibir a:

así como a los demás miembros del Patronato, que han estado visitando nuestras instalaciones, conversando con investigadores del Instituto, y participando en la reunión del Patronato, como nuevos miembros.

El Patronato es el órgano de gobierno de la Fundación Instituto IMDEA Software. Se encarga de garantizar que se cumplen los objetivos de la fundación y que los fondos que forman los activos de la fundación se gestionan de manera correcta.

NanevskiVanGriecken Panoramic

20 de noviembre de 2015: Carmela Troncoso Panelista en el "Smart City Expo World Congress"

Carmela Troncoso, investigadora del Instituto IMDEA Software, actuó como conferenciante invitado en el congreso mundial Smart City Expo celebrado en Barcelona. El evento incluyó una exposición donde diferentes empresas presentaron soluciones para ciudades inteligentes que iban desde equipos hasta productos analíticos, así como un congreso compuesto de charlas y paneles invitados que cubrían temas importantes para el desarrollo de las ciudades inteligentes.

La presentación de Carmela en el panel sobre Privacidad en la Ciudad Inteligente, con título “Privacy-preserving Smart Cities: Utopia or Reality”, proporcionó un resumen de los retos actuales y las posibles soluciones técnicas en el tema de la privacidad en las infraestructuras de ciudades inteligentes. La privacidad en sistemas informáticos es un tema de investigación importante en el Instituto IMDEA Software.

06 de noviembre de 2015: I Conferencia IMDEA, Ciencia, Industria y Sociedad

La I Conferencia IMDEA, Ciencia, Industria y Sociedad tuvo lugar en la sede del Instituto IMDEA Materiales en Getafe (Madrid). La jornada fue inaugurada por la Presidenta de la Comunidad de Madrid, Dª Cristina Cifuentes. El objetivo de la Conferencia es mostrar a la sociedad el estado actual de los siete Institutos de IMDEA, en términos de atracción de talento, ciencia y colaboración con la Industria. El Prof. David Warren de State University of New York en Stony Brook, y presidente del Consejo Directivo y del Consejo Científico de Instituto IMDEA Software, se encargó de inaugurar el evento con una ponencia. Investigadores de los siete IMDEA hicieron presentaciones describiendo sus líneas de investigación y los éxitos de los diferentes institutos IMDEA. Boris Köpf investigador de Instituto IMDEA Software fue el representante del Instituto en el evento y ofreció una muestra de nuestras áreas de investigación seguido de una presentación, más en profundidad, sobre la línea de seguridad y privacidad.

21 de octubre de 2015: Carmela Troncoso se une al Instituto IMDEA Software

Estamos encantados de dar la bienvenida a Carmela Troncoso como nueva investigadora en el Instituto IMDEA Software. Carmela recibió su doctorado de la Katholieke Universiteit de Lovaina en Bélgica en 2011 y ha sido desde entonces Directora Técnica de Seguridad y Privacidad en el Centro Tecnolóxico de Telecomunicaciones de Galicia (GRADIANT). Su tesis doctoral “Design and Analysis Methods for Privacy Technologies” recibió el premio a la mejor tesis del European Research Consortium for Informatics and Mathematics (ERCIM), WG Security and Trust Management. Ha sido investigadora visitante en numerosos grupos de investigación prestigiosos en el área de seguridad, tales como Microsoft Research Cambridge, el grupo Hatswich en la Universidad de Illinois en Urbana-Champaign, y el LCA1 de la École Polytechnique Féderale de Laussane (EPFL).

Ha publicado más de 35 artículos en congresos y revistas internacionales. Ha sido presidenta del comité de programa del taller de "Hot Topics in Privacy Enhancing Technologies" (HotPETs) en 2010 y 2011 y presidenta del "Privacy Enhancing Technologies Symposium" en 2012. También ha servido en más de 10 comités de programa de congresos internacionales y ha sido evaluadora de artículos para numerosas revistas internacionales.

10 de octubre de 2015: Investigadores de IMDEA Software Publican cuatro artículos en Simposio de máximo nivel de la ACM, sobre Lenguajes de Programación (POPL)

Cuatro artículos de investigadores del Instituto IMDEA Software han sido aceptados para su publicación en el Simposio de la ACM (Association for Computing Machinery, EEUU) sobre Lenguajes de Programación (POPL), uno de los más prestigiosos congresos en este área, y que se celebrará el próximo enero en St. Petersburg, Florida.

Alexey Gotsman, investigador en el Instituto IMDEA Software tiene un artículo que facilita la construcción de sistemas software distribuidos proporcionando un marco para razonar sobre diferentes posibilidades de implementación que garantizan diferentes niveles de consistencia entre máquinas distantes.

El artículo de Pierre Yves Strub desarrolla un nuevo lenguaje de programación que ayuda a producir código que es a la vez eficiente y verificablemente correcto para aplicaciones críticas tales como la criptografía, gracias a su diseño centrado en la verificación mecánica.

Michael Emmi presenta un artículo en el que automatiza el proceso de inferencia de especificaciones de módulos de software que permite testing automático y verificación de implementaciones cruciales que subyacen a un amplio número de sistemas de software.

Somesh Jha, profesor visitante en el Instituto, publica un artículo que aplica la modelización probabilística para informar a los programadores en tiempo de compilación de posibles errores, poniendo el foco en aquellos que tienen más probabilidades de ser errores reales en tiempo de ejecución.

Se puede obtener más información, incluida la lista de completa de artículos aceptados aquí.

22 de septiembre de 2015: Investigadores de IMDEA galardonados con prestigiosas becas en España

Boris Köpf, Juan Caballero y Dario Fiore, investigadores de Instituto IMDEA Software, han ganado tres prestigiosas becas concedidas por el Ministerio de Economía y Competencia de España: dos Becas Juan de la Cierva y una Beca Ramón y Cajal.

15 de septiembre de 2015: Premio al Mejor Artículo en JNIC 2015.

Dario Fiore investigador en Instituto IMDEA Software y el estudiante de doctorado Luca Nizzardo, en colaboración con Dario Catalano (Universidad de Catania), han recibido el premio al mejor artículo en la categoría de artículos cortos (trabajos ya publicados) en las primeras “Jornadas Nacionales de Investigación en Ciberseguridad” (JNIC 2015). El trabajo premiado lleva como título “Programmable Hash Functions go Private: Constructions and Applications to (Homomorphic) Signatures with Shorter Public Keys.”

Anuncio oficial y más información.

10 de septiembre de 2015: Alejandro Sánchez defiende su tesis doctoral

La tesis estudia la verificación formal de propiedades temporales de safety y liveness en sistemas concurrentes parametrizados, enfocándose principalmente en programas que manipulan complejas estructuras de datos concurrentes en la memoria dinámica. Este trabajo presenta un marco formal basado en métodos deductivos que, de manera clara, permite separar el razonamiento entre el control del flujo del programa y los tipos de datos que se manipulan. El control del flujo es analizado utilizando novedosas técnicas deductivas de verificación especialmente designadas para lidiar con sistemas parametrizados. Comenzando a partir de un programa concurrente y la especificación de una propiedad temporal, las técnicas deductivas propuestas son capaces de generar un conjunto finito de condiciones de verificación cuya validez implican la satisfacción de dicha especificación temporal por parte de cualquier sistema, sin importar el número de procesos que formen parte del sistema. Al mismo tiempo, la tesis explora la construcción de teorías decidibles y procedimientos de decisión sobre estructuras de datos complejas que son capaces de verificar de manera automática las condiciones de verificación que hayan sido generadas anteriormente. Finalmente, el marco formal completo es evaluado probando propiedades de safety y liveness sobre un conjunto de programas que incluyen protocolos de exclusión mutua y estructuras de datos basadas en punteros.

Alejandro Sánchez ha sido supervisado por Cesar Sanchez, investigador de Instituto IMDEA Software y ha obtenido su grado de doctor de la Universidad Politécnica de Madrid con mención "cum laude".

04 de septiembre de 2015: Los Institutos IMDEA en La Noche de los Investigadores 2015

La Noche Europea de los Investigadores de Madrid 2015, coordinada por la Fundación para el Conocimiento madrimasd, es una acción enmarcada en el programa europeo Horizonte 2020, que se celebra en más de 300 ciudades europeas a la vez. En esta edición participan una veintena de instituciones científicas de Madrid, entre ellas los Institutos IMDEA.

Se pueden encontrar más detalles aquí.

01 de septiembre de 2015: Bienvenido Somesh Jha

Es un enorme placer dar la bienvenida al Profesor Somesh Jha, de la Universidad de Winsconsin, Madison, como investigador invitado en Instituto IMDEA Software. El profesor Jha es bien conocido por su trabajo visionario en seguridad de la información, métodos formales, lenguajes de programación, ingeniería del software, y computación en finanzas. Somesh es autor de alrededor 100 publicaciones en congresos internacionales y revistas científicas, ha sido galardonado con el premio CAV 2015 y recibió también el NSF CAREER Award.

15 de agosto de 2015: Investigadores de IMDEA Software Publican 4 artículos en el prestigioso Congreso ACM sobre Seguridad Informática y Comunicaciones (CCS)

Cuatro artículos de investigadores de Instituto IMDEA Software han sido aceptados para su publicación en la 22 edición del congreso de la ACM (Association for Computing Machinery, EEUU) sobre Seguridad Informática y Comunicaciones (CCS), una de los más prestigiosos congresos en este área, celebrado en Denver, Colorado.

Dario Fiore investigador en Instituto IMDEA Software presentó un artículo sobre cifrado homomórfico, en colaboración con D. Catalano (Universidad de Catania, Italia). Su trabajo propone nuevas técnicas que posibilitan a terceros computar sobre datos cifrados, concretamente evaluar una función sin necesidad de aprender sus entradas.

El investigador Juan Caballero participa con dos artículos. El primer artículo es conjunto con el estudiante de doctorado invitado Srdjan Matic de la Universitá degli Studi di Milano y un estudiante de doctorado de IMDEA Software Platon Kotzias, y propone una técnica para desenmascarar servicios ocultos en la red anómima TOR. El otro artículo, en colaboración con los estudiantes de doctorado Platon Kotzias, Richard Rivera, y el estudiante de doctorado invitado Srdjan Matic, analiza malware firmado digitalmente y programas potencialmente no desaedos, tales como adware.

Los investigadores Gilles Barthe y Benedikt Schmidt tienen un artículo sobre pruebas formales de primitivas criptográficas en colaboración con B. Grégoire (INRIA). Su trabajo describe un nuevo método y una nueva herramienta para ejecutar este tipo de pruebas de forma automática.

Más información en CCS 2015.

04 de agosto de 2015: IMDEA Software obtiene financiación para el proyecto Syncrypt de la "Office of Naval Research" de EEUU

El Instituto IMDEA Software ha obtenido financiación para el proyecto Syncrypt en ciberseguridad. El proyecto, en el que participan Gilles Barthe y Benedikt Schmidt, investigadores de Instituto IMDEA Software, es en colaboración con la Universidad de Stanford y la Universidad de Pennsylvania, y ha recibido más de 1 millón de dólares de financiación procedente de la "Office of Naval Research (ONR)" de EEUU.

Más información de la Consejería de Educación, Cultura y Deporte de Madrid.

23 de junio de 2015: Investigador de IMDEA ponente invitado en Conference on Mathematical Foundations of Program Semantics (MFPS)

Aleks Nanevski investigador en Instituto IMDEA Software fue invitado a impartir una clase en Conference on Mathematical Foundations of Program Semantics 2015 (MFPS), que tuvo lugar el pasado mes de Junio en Nijmegen, Holanda. La clase abarcó temas como semántica de programas concurrentes y lógica de separación.

Más información aquí.

20 de mayo de 2015: Publicaciones Premiadas en S&P ´15

Pierre Yves Strub investigador del Instituto IMDEA Software, en colaboración con Benjamin Beurdouche (INRIA), Karthikeyan Bhargavan (INRIA), Antoine Delignat-Lavaud (INRIA), Cedric Fournet (Microsoft Research), Markulf Kohlweiss (Microsoft Research), Alfredo Pironti (INRIA), y Jean Karim Zinzindohoue (INRIA), han recibido el premio al mejor artículo en el Simposio en Seguridad y Privacidad IEEE 2015 (S&P ´15) por su publicación titulada “A Messy State of the Union: Taming the Composite State Machines of TLS”.

Antonio Nappa, estudiante de Doctorado del Instituto IMDEA Software, en colaboración con investigadores del International Computer Science Institute en Berkeley CA y otros investigadores de Google Inc. han recibido el premio a la mejor publicación práctica en el S&P ´15 por su contribución titulada “Ad Injection at Scale: Assessing Deceptive Advertisement Modifications”.

El anuncio oficial está disponible aquí.

05 de mayo de 2015: Comienza el Proyecto COST “Runtime Verification Beyond Monitoring (ARVI)”

La primera reunión científica del proyecto COST (EU) "Runtime Verification beyond Monitoring (ARVI)" ha tenido lugar en La Valeta, Malta entre el 9 y el 10 de Abril. Cesar Sanchez, investigador del Instituto IMDEA Software, es miembro del comité de dirección y líder de un grupo de trabajo, y fue también uno de los líderes en la elaboración de esta propuestas COST.

La verificación en tiempo de ejecución (Runtime Verification, RV) es un paradigma de análisis de computación basado en la observación de un sistema durante su ejecución para comprobar que su comportamiento se ajusta al esperado. En los últimos años la RV ha emergido como una aplicación práctica de la verificación formal, una aproximación menos ad hoc que el testing convencional, basada en la construcción de monitores a partir de especificaciones formales.

Los principales objetivos de la acción son:

  1. crear una infraestructura que permite comparar herramientas y reutilizar la infraestructura existente en la verificación en tiempo de ejecución,

  2. explorar aplicaciones con impacto potencial de la verificación en tiempo de ejecución en entornos industriales tales como hardware, artefactos médicos, computación en la nube, y hasta sistemas centrados en humanos, y

  3. explorar dominios de aplicación que suponen retos para la monitorización y verificación en tiempo de ejecución, tales como los sistemas híbridos y los sistemas distribuidos.

Dada la importancia de la industrias basadas en la computación en Europa, las nuevas aplicaciones de verificación en tiempo de ejecución tienen una gran impacto en términos de los nuevos tipos de diseño que hacen posible, así como su fiabilidad y efectividad en coste.

Esta acción COST ha sido financiada por 4 años, hasta el 2018.

23 de abril de 2015: Miguel Ángel García de Dios defiende su tesis doctoral

La tesis presenta una metodología original y basada en herramientas para el desarrollo seguro, dirigido por modelos, de aplicaciones de manejo de datos. Con la metodología definida, los desarrolladores proceden modelando tres vistas diferentes de la aplicación deseada: el modelo de datos, el modelo de seguridad y el modelo de la interfaz gráfica de usuario (GUI). Estos modelos formalizan respectivamente un dominio de datos, una política de autorización y una interfaz gráfica junto con los eventos que permiten la interacción con el usuario y dirigen el flujo de información. Después, una función de transformación de modelos traslada automáticamente la política especificada por el modelo de seguridad al modelo de GUI. Finalmente, un componente de generación de código genera de forma automática una aplicación multicapa, junto con todo el soporte de control de acceso, a partir del modelo de GUI con seguridad. Miguel Ángel García de Dios ha sido supervisado por Manuel Clavel, investigador senior de Instituto IMDEA Software y ha obtenido su grado de doctor de la Universidad Complutense de Madrid.

17 de abril de 2015: Cuatro Publicaciones de Investigadores de IMDEA Software en Congreso de Primer Nivel en Verificación Asistida por Ordenador

Cuatro publicaciones realizadas por investigadores del Instituto IMDEA Software han sido aceptadas para su publicación en la 27 edición del congreso internacional sobre verificación asistida por ordenador, un congreso de máximo nivel en este área, celebrado este año en San Francisco, CA. Estas cuatro publicaciones estan entre las 68 seleccionadas de un total de 250 presentadas.

Cesar Sanchez, investigador del Instituto IMDEA Software, tiene una publicación sobre verificación de hiperpropiedades por comprobación de modelos, junto con Bernd Finkbeiner y Markus Rabe de Saarland University, Germany. Esta publicación caracteriza de forma precisa la complejidad del problema de comprobación de modelos par hiperpropiedades, y muestra como utilizar las herramientas de comprobación de modelos existentes para manejar especificaciones de hiperpropiedades, con aplicaciones en seguridad, simetría, y teoría de la programación.

Boris Köpf, investigador del Instituto IMDEA Software, tiene una publicación conjunta con Klaus von Gleissenthall ((TU Munich) y Andrey Rybalchenko (Microsoft Research) sobre verificación de propiedades cuantitativas de programas, tales como límites en utilización de recursos y fugas de información. La principal novedad tecnológica es un algoritmo basado en SMT para la síntesis de interpolantes con restricciones cardinales que se basan en la teoría de conteo de puntos enteros en politopos simbólicos.

Una contribución de Michael Emmi, investigador del Instituto IMDEA Software, describe el desarrollo de una herramienta para la identificación de errores de concurrencia en aplicaciones Android, un trabajo conjunto con Burcu Kulahcioglu Ozkan y Serdar Tasiran de la Koç University en Turquía.

Pierre Ganty, investigador del Instituto IMDEA Software, tiene un artículo sobre verificación automática en sistemas asíncronos de memoria compartida, en colaboración con A. Durand-Gasselin, J. Esparza de TU Munich y R. Majumdar de Max Planck Institute for Software Systems, Alemania. Su trabajo clasifica los problemas de verificación de propiedades de "liveness" en los sistemas asíncronos de memoria compartida desde un punto de vista computacional. Estos sistemas se caracterizan por presentar un proceso líder y un número arbitrario de otros contribuyentes anónimos e idénticos. Los procesos se comunicac entre sí a través de un registro compartido con valor acotado.

Más información en el sitio web del congreso.

13 de abril de 2015: Premio a la mejor publicación en PEPM'15

John Gallagher, investigador de Instituto IMDEA Software y Bishoksan Kafle, coautor, han recibido el premio a la mejor publicación científica en el Workshop on Partial Evaluation and Program Manipulation 2015 (PEPM ’15), por su publicación titulada “Constraint Specialisation in Horn Clause Verification.”

El artículo aparece en las Actas del Workshop on Partial Evaluation and Program Manipulation 2015 (PEPM ’15), editadas por Kenichi Asai y Kostis Sagonas, y publicadas por la "Association for Computing Machinery (ACM)" americana: DOI.

09 de abril de 2015: 2º Workshop Microsoft Research - Instituto IMDEA Software

El segundo Workshop del Centro de Investigación Conjunto entre Microsoft Research y el Instituto IMDEA Software tuvo lugar durante el 9-10 de Abril de 2015, en las instalaciones del Instituto IMDEA Software en Madrid. El programa del workshop estaba dirigido a la discusión de los trabajos en colaboración que se están llevando a cabo en diversos proyectos conjuntos y, cómo llevar, en lo posible, dichos avances a los divisiones de producto de Microsoft.

El workshop se centró en los siguientes tres proyectos:

Las jornadas fueron organizadas por Judith Bishop y Cedric Fournet de Microsoft Research y por Manuel Hermenegildo y Alexey Gotsman del Instituto IMDEA Software.

Estos talleres reúnen investigadores y estudiantes con el objetivo de discutir sus trabajos colaborativos en temas de vanguardia relacionados con el software y para, donde sea posible, llevar estos avances al mercado.

Los dos días de workshop incluyeron ponencias plenarias de los siguientes investigadores:

Se puede encontrar más información en las páginas web del Centro Conjunto MSR-IMDEA SOftware y en las páginas del Workshop en Microsoft Research.

09 de abril de 2015: Publicado el Informe Anual 2014

El Instituto IMDEA Software ha publicado su Informe Anual 2014.

15 de marzo de 2015: IMDEA Software Mención Honorífica en Cooperación Público-Privada

El Instituto IMDEA Software ha sido galardonado con una Mención Honorífica en el área de Cooperación Publico-Privada, premio concedido por la Fundación madri+d, por su cooperación con el grupo industrial italiano Reply y la Organización Holandesa TNO en la ingeniería de detectores de ciber-ataques y su explotación comercial.

Esta colaboración ha sido financiada en parte por Cadence, una actividad de innovación de EIT ICT Labs, en el área de privacidad, seguridad y confianza, qué se inició en el 2014, y en la que el Instituto IMDEA Software, TNO y Reply están aplicando nuevas tecnologías de detección de anomalías a la creación de productos y servicios innovadores específicos para ofrecer ambientes más seguros en las TIC, tanto para los gobiernos como para las empresas.

Esta Mención Honorífica fue concedida por el jurado de los Premios madri+d en su décima edición anual, que reconocen los avances científicos y tecnológicos para resolver desafíos en la industria y la sociedad, la capacidad de convertir los proyectos de investigación y sus resultados en riqueza económica y bienestar para la Región de Madrid, la excelencia a la hora de implementar actividades de colaboración en investigación y desarrollo a nivel Europeo, y la generación y difusión del conocimiento.

04 de marzo de 2015: Descubierta Vulnerabilidad FREAK en el Protocolo TLS

El investigador Pierre Yves Strub, junto con colaboradores en INRIA Rocquencourt, France y Microsoft Research han descubierto una vulnerabilidad en el popular mecanismo de cifrado SSL, usado ampliamente en Internet para el acceso seguro a páginas web. El defecto, llamado "FREAK: Factorizando Accesos de Exportación RSA" puede ser utilizado para engañar a navegadores de Internet y hacerlos interactuar con sitios web maliciosos. El problema afecta a un gran número de servidores web y clientes, y en consecuencia ha tenido un gran impacto mediático.

El descubrimiento ha sido realizado dentro del proyecto en curso SMACK TLS, que tiene como objetivo el desarrollo de software de autenticación en Internet cada vez más fiable y seguro. Pierre Yves Strub y sus colaboradores han desarrollado una técnica automatizada para descubrir vulnerabilidades en implementaciones de protocolos de autenticación, y han descubierto varias vulnerabilidades las cuales, de permanecer ocultas, podrían ser empleadas por hackers para comprometer la seguridad en Internet.

Los investigadores se han centrado en la familia de protocolos de autenticación conocidos como "Transport Layer Security" (TLS), que es el cada vez más popular sucesor del ubicuo protocolo "Secure Sockets Layer" (SSL). Al construir implementaciones de referencia de protocolos TLS formalmente verificadas, fueron capaces de generar sistemáticamente repuestas del protocolo inadmisibles, que deberían de estar vetadas por el protocolo, y comprobar si algunas de esas respuestas eran de hecho admitidas por implementaciones ya existentes. Las respuestas inadmisibles sugieren vulnerabilidades potenciales, susceptibles de ser utilizadas de forma malintencionada en implementaciones de TLS. "FREAK" es una de las vulnerabilidades descubiertas.

Se pueden encontrar más detalles aquí.

Este trabajo ha sido realizado en colaboración con Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti, y Jean Karim Zinzindohoue de INRIA Rocquencourt, France, y Cedric Fournet y Markulf Kohleiss de Microsoft Research.

18 de febrero de 2015: La Directora General de Universidades e Investigación visita el Instituto IMDEA Software

El pasado miércoles 18 de febrero visitó la sede del Instituto IMDEA Software Lorena Hedas Sedano, responsable de la Dirección General de Universidades de Investigación de la Comunidad de Madrid, en compañía de Juan Ángel Botas Echevarría, Subdirector General de Investigación.

Se realizó una visita guiada por las instalaciones del Instituto, donde los visitantes conocieron personalmente al equipo de investigación. Diferentes investigadores presentaron los objetivos y algunos de los avances logrados en las diferentes líneas de investigación del Instituto y los diferentes proyectos en curso, así como sus aplicaciones prácticas y otras actividades de colaboración con la industria y transferencia tecnológica.

También visitaron el centro conjunto Microsoft - IMDEA Software y el "Co-location Center Madrid" del KIC ICT Labs del Instituto Europeo de Innovación y Tecnología. Este "Co-location Center" es la sede en España de este KIC, y está coordinado por el Instituto IMDEA Software y alojado en sus instalaciones.

Más información aquí.

16 de febrero de 2015: Bienvenido Ben Livshits

Es un placer para nosotros dar una calurosa bienvenida al Profesor Ben Livshits como profesor visitante en el Instituto IMDEA Software. Ben es investigador científico en Microsoft Research, y profesor asociado en la Universidad de Washington, EEUU. Es bien conocido por su trabajo sobre la fiabilidad en el software, especialmente en herramientas para mejorar la seguridad del software, centrado principalmente en aproximaciones para encontrar excesos de almacenamiento en programas escritos en C, y una variedad de vulnerabilidades en seguridad (secuencias de comandos en sitios cruzados, inyecciones SQL, etc.) en applicaciones para internet. Ben es autor de numerosas publicaciones y patentes. Últimamente, ha estado centrado en diferentes temas que van desde la seguridad y la privacidad hasta la colaboración colectiva y la realidad aumentada.

10 de febrero de 2015: Cuatro Publicaciones de IMDEA Software en un Congreso de Privacidad y Seguridad de Máximo Nivel

Cuatro publicaciones de investigadores del Instituto IMDEA Software han sido aceptadas para su publicación en la edición 36 del IEEE Symposium on Security and Privacy, un congreso del máximo nivel en esta importante área, que tuvo lugar en San José, CA. Estas cuatro publicaciones están entre las 55 elegidas para publicación de un total de unas 400 presentadas al congreso.

Dario Fiore investigador del Instituto IMDEA Software presenta una publicación sobre pruebas de preservación de la privacidad, conjuntamente con M. Backes (CISPA, Saarland University), M. Barbosa (HASLab – INESC TEC and Universidade do Minho), y R. M. Reischuk (ETH Zurich). Su trabajo (con título "ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data") propone un nuevo sistema, llamado ADSNARK, que facilita a los usuarios probar la exactitud de los cálculos, mientras se mantiene la privacidad de los datos introducidos. La gran novedad de ADSNARK es trabajar de manera eficiente con entradas autenticadas, una característica muy útil para aplicaciones tales como medidores inteligentes y el paradigma emergente de la computación vestible.

Juan Caballero, investigador, y Antonio Nappa, estudiante de Doctorado, presentan una publicación sobre el análisis del ciclo de vida de las vulnerabilidades de software en aplicaciones cliente (como, navegadores o editores de texto). Este trabajo identifica varias nuevas amenazas que presentan las instalaciones múltiples del mismo programa y las librerías compartidas. Es una colaboración con investigadores de Symantec Research Labs y la University of Maryland at College Park.

Antonio Nappa, estudiante de doctorado en Instituto IMDEA Software junto con colegas del International Computer Science Institute en Berkeley, CA, y otros de Google Inc., tienen una publicación que presenta un estudio sobre la inyección de publicidad en las sesiones de un navegador. Han desarrollado una cadena de múltiples etapas que es capaz de identificar estas inyecciones y capturar sus distribuciones y cadenas de ingresos.

Pierre Yves Strub, investigador del Instituto, presenta una publicación sobre el diseño de una máquina de estados genérica, robusta y verificada, para el protocolo TSL, junto con Benjamin Beurdouche (INRIA), Karthikeyan Bhargavan (INRIA), Antoine Delignat-Lavaud (INRIA), Cedric Fournet (Microsoft Research), Markulf Kohlweiss (Microsoft Research), Alfredo Pironti (INRIA) y Jean Karim Zinzindohoue (INRIA). Su trabajo aborda el problema de diseñar una máquina robusta de estados compuestos que pueda multiplexar correctamente entre estos dos modos diferentes del protocolo TLS. Presentan la primera implementación verificada de una máquina de estados compuestos de TLS en C que puede ser empotrada en OpenSSL y que tiene en cuenta todos los conjuntos de cifrado que soportan. También han descubierto varias vulnerabilidades cruciales de seguridad que han estado escondidas durante años en librerías populares de código abierto SSL.

Más información en SP 2015.

22 de enero de 2015: El Instituto IMDEA Software acoge los Seminarios Itinerantes de Criptografía

La primera edición de los Seminarios Itinerantes de Criptografía, una serie multi-institucional dirigida a la promoción de la investigación en criptografía, se celebró en las instalaciones del Instituto IMDEA Software el 22 de Enero, organizada por Dario Fiore.

Se puede ampliar esta información aquí.

23 de diciembre de 2014: Medallas de oro para el Instituto IMDEA Software en competición internacional

¿Cómo se puede asegurar que un app de nuestro móvil no accede a datos incorrectos, que un programa en un ordenador se bloquee inesperadamente o que el software que se ejecuta en un coche no tiene errores fatales que pueden derivar en la pérdida de vidas humanas – antes de que eso suceda y sin tener que instalar y probar ese software o esa app en cientos o miles de dispositivos? Esa es la misión de las técnicas de verificación de software: probar que un programa no tiene errores sin necesitar ejecutar ese programa en su entorno real. Esa es una de las líneas de investigación del Instituto IMDEA Software, uno de los siete institutos IMDEA de investigación promovidos y financiados por la Comunidad de Madrid.

La verificación de software conforma un área de investigación de incuestionable importancia a medida que la sociedad es cada vez más dependiente de su correcto funcionamiento: los errores de software pueden costar grandes pérdidas económicas e incluso vidas. Aunque el objetivo de la verificación de software ha existido desde el principio de la ciencia informática, el creciente uso de verificadores en la industria de creación de software ha supuesto un gran reto para su desarrollo, debido a limitaciones científicas fundamentales, obstáculos prácticos en ingeniería, y el desafío de superar ambos de forma simultánea.

La International Competition on Software Verification (SV-COMP) es una iniciativa internacional para potenciar la creación de nuevos métodos, tecnologías, y herramientas para la verificación automática de software informático: una competición abierta donde los mejores investigadores en informática del mundo enfrentan a sus verificadores intentando probar automáticamente la corrección de una serie de programas, o encontrar errores en los mismos.

Este año ha tenido lugar la 4ª edición de este evento, cada año más competitivo, donde se recibieron propuestas de 22 de las más destacadas instituciones de investigación a nivel global, como por ejemplo New York University, la École Normale Supérieure (ENS) de Paris, la Universidad de Friburgo, la Universidad Tsinghua, Microsoft Research Institute, y el Instituto IMDEA Software. La competición se desarrolla en trece categorías diferentes sobre problemas de verificación de software.

En la competición se le dan problemas (programas informáticos cuya exactitud ha de ser comprobada) a otros programas, llamados “verificadores”. Los verificadores clasifican estos problemas como “correcto”, “incorrecto”, o “desconocido” dentro de un tiempo máximo de quince minutos por problema. El método de puntuación se establece en relación a la precisión en la clasificación. Dentro de cada tipo de problema, los verificadores con las puntuaciones más altas son premiados con medallas de oro, plata, y bronce.

El verificador SMACK+Corral, presentado por el Instituto IMDEA Software y realizado en colaboración con la Universidad de Utah y Microsoft Research, fue premiado con medallas en 4 categorías – dos de oro, una de plata, y una de bronce – situándose entre los mejores de toda la competición: sólo otra participación logró más medallas de oro. SMACK+Corral une dos verificadores desarrollados como código abierto; el desarrollo de SMACK está liderado por Michael Emmi, del Instituto IMDEA Software, y Zvonimir Rakamaric, de la Universidad de Utah y Corral lo está por Akash Lal y Shaz Qadeer, de Microsoft Research. Los dos verificadores trabajan de manera conjunta para conformar una herramienta más potente que cualquiera de ellos por separado.

El anuncio oficial de los ganadores de la competición tendrá lugar en un evento a celebrar en Londres el 13 de Abril de 2015 como parte del 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

Más información disponible en la página web de SV-COMP 2015 http://sv-comp.sosy-lab.org/2015/

18 de diciembre de 2014: Los Ganadores del Concurso PST Visitan el Instituto IMDEA Software

El 18 de Diciembre de 2014, cinco estudiantes ganadores del concurso sobre Privacidad, Seguridad y Confianza, organizado por EIT Digital en su Master Summer School, fueron invitados al Instituto IMDEA Software en Madrid, a presentar sus retos tecnológicos, y a discutir sobre sus ideas empresariales con expertos investigadores del instituto. Los estudiantes premiados fueron:

Los ganadores tuvieron la oportunidad de discutir sus ideas con los investigadores del Instituto IMDEA Software Gilles Barthe, Juan Caballero, Dario Fiore, y Manuel Hermenegildo.

El evento fue organizado y moderado por Jesús Contreras, EIT Digital Business Developer en el CLC de Madrid.

Más información sobre las escuelas de verano.

18 de diciembre de 2014: FI-PPP Liaison Demo Day

El 18 de diciembre de 2014, en el CLC de EIT ICT Labs en Madrid en el Instituto IMDEA Software, ha tenido lugar la presentación del FI-PPP Liaison Demo Day, con presentaciones de las 3 PYMEs ganadoras del concurso de proyectos, en el cual han utilizado la tecnología FI-WARE para llevar al mercado productos y servicios innovadores:

El proyecto FI-PPP Liaison conecta las actividades de EIT ICT Labs en el campo de nuevas tecnologías para la Internet del Futuro (FI) con FI-WARE, como inicitiva fundamental de la Unión Europea para desarrollar nuevas tecnologías y soluciones en este campo basadas en Colaboraciones Público-Privadas (PPP).

Las tres empresas han sido premiadas con una ayuda de 25.000 Euros cada una para el desarrollo de proyectos piloto basados en la tecnología FI-WARE para la Internet de las Cosas (IoT), de un conjunto de 40 empresas inscritas y 10 finalistas, a las cuales se les proporcionó formación y apoyo dentro del proyecto FI-PPP Liaison.

Este día de demostraciones ha sido organizado por el Instituto IMDEA Software, en colaboración con Universidad Politécnica de Madrid (UPM), España y Telefonica I+D, y participaron también otros actores destacados en el sector de la Internet de las Cosas, como Ferrovial.

17 de diciembre de 2014: Evento de Presentación de la Escuela de Máster en Innovación en ICT de EIT ICT Labs en IMDEA Software

El 17 de Diciembre de 2014, tuvo lugar en un evento en el Co-location Center de Madrid de EIT Digital organizado por el Instituto IMDEA Software para la presentación de la Escuela de Máster en Innovación en ICT de EIT ICT Labs y su oferta de programas de posgrado.

La Escuela de Master ofrece el más alto nivel en educación internacional en TIC con módulos adicionales en Innovación y Emprendimiento (I&E), que ayudarán al alumno a desarrollar sus propias ideas innovadoras e introducir nuevos productos y servicios en el mercado. El objetivo general es estimular el emprendimiento en la UE, y por lo tanto fortalecer las bases de una economía más centrada en la innovación y la tecnología.

Manuel Hermenegildo (Director del Instituto IMDEA Software y del Nodo Asociado en Madrid de EIT ICT Labs), y Juan José Moreno Navarro (Vicerrector de Postgrado de la UPM y Director Adjunto del Nodo Asociado), fueron los anfitriones de este evento y presentaron las líneas generales de los programas de Master. La UPM participa en estos programas como Universidad afiliada en España, junto con otras 19 Universidades Técnicas Europeas de primer nivel.

El programa de Master de 2 años de duración está organizado en ocho títulos diferentes, a realizar en dos Universidades Europeas distintas:

Además de acceso a becas completas, asistencia a escuelas de verano, prácticas profesionales en algunas de las más prestigiosas empresas del sector de TI, y orientación para el desarrollo de proyectos personales y en equipo y creación de start-ups, los graduados reciben una titulación doble, una por cada una de las universidades, y un certificado oficial en Innovación y Emprendimiento por ICT Labs.

11 de diciembre de 2014: Bienvenida Alessandra Gorla

Estamos encantados de dar la bienvenida a Alessandra Gorla como nueva Assistant Research Professor en el Instituto IMDEA Software. La tesis doctoral de Alessandra en la Università della Svizzera Italiana, Lugano, Suiza, fue galardonada con el premio Fritz Kutter en la categoría de mejor tesis relacionada con la industria en Informática en una universidad suiza en 2011. Sus principales intereses en investigación están centrados en la detección de malware en aplicaciones móviles, reparación automática de software, y testing y análisis de software.

27 de octubre de 2014: Bienvenido Roberto Giacobazzi

Estamos encantados de dar la bienvenida al Profesor Roberto Giacobazzi, de la Universidad de Verona, Italia, como profesor visitante en el Instituto IMDEA Software. Roberto es bien conocido por su extenso y fundacional trabajo sobre interpretación abstracta: tanto en la teoría general como en sus aplicaciones a la semántica de programas, el análisis estático de programas, seguridad basada en el lenguaje, protección de activos digitales, y análisis de malware, entre otros temas. Roberto es autor de más de 100 publicaciones en revistas científicas internacionales y congresos, y también es miembro de los comités ejecutivos del ACM Symposium on Principles of Programming Languages (POPL) y del Static Analysis Symposium (SAS).

26 de agosto de 2014: Bienvenido Michael Ernst

Estamos encantados de dar la bienvenida el Profesor Michael Ernst de la Universidad de Washington, EEUU, como profesor visitante en el Instituto IMDEA Software. Michael es un Fellow de la ACM, y es autor de más de 100 publicaciones, en un espectro que varía desde la ingeniería de software, al análisis de programas (tanto estático como dinámico), o el diseño de lenguajes de programación. Su investigación se basa en una combinación entre fuertes fundamentos teóricos y la experimentación real, con la mirada puesta en la transformación de la forma en la que trabajan los desarrolladores de software.

17 de febrero de 2014: Boris Köpf obtiene un proyecto de investigación de Microsoft

Boris Köpf ha obtenido una proyecto de investigación del programa de financiación de doctorados de Microsoft Research, sobre el tema “Reasoning about Side Channels in Cryptographic Protocols”. El objetivo de este proyecto es definir técnicas que permitan el razonamiento sobre las pérdidas que se producen a través de canales laterales en los protocolos criptográficos. El objetivo de la aproximación propuesta es conseguir altos niveles de seguridad y rendimiento simultáneamente. Con esta finalidad, los dos principales desafíos son: primero, cómo hacer razonamiento composicional sobre estas pérdidas y su agregación; segundo, cómo incorporar el análisis de binarios de bajo nivel en este contexto composicional.

Aquí está disponible la lista con los proyectos seleccionados.

4 de julio de 2014: Ayudas a start-ups y PYMEs para proyectos piloto sobre FIWARE de 25 000 euros

Fecha límite: 31 de Julio de 2014.

En los últimos años está surgiendo una nueva generación de Internet, más robusta, flexible y extensa sobre todo fuera del ámbito científico. La Comisión Europa ha iniciado una iniciativa de I+D denominada FI-PPP (www.fi-ware.org) cuyo objetivo es generar tecnologías y soluciones para la Internet de la próxima generación y con ello ayudar a la recuperación económica europea.

Dentro de este contexto, queremos seleccionar, formar y subvencionar 3 empresas de reciente creación o PYMEs para que puedan desarrollar con las tecnologías de Internet de las Cosas (Internet of Things) y FIWARE. La selección se realizará en dos fases:

Los requisitos necesarios por parte de los candidatos son:

Las empresas seleccionadas podrán desarrollar los pilotos en el periodo desde el 1 de octubre hasta el 31 de diciembre de 2014, dentro del proyecto FI-PPP Liaison. La ayuda por cada empresa es de máximo del 25 000,00 euros destinados exclusivamente a estas tareas. Se seleccionarán tres empresas beneficiarias.

Para participar es necesario aportar la siguiente documentación (máximo 3 páginas):

Interesados, por favor, contacten en

15 de mayo de 2014: Publicado el Informe Anual 2013

El Instituto IMDEA Software ha publicado su informe anual 2013.

3 de abril de 2014: Presentación del Centro de Investigación Conjunto entre Microsoft Research y el Instituto IMDEA Software

Microsoft Research y el Instituto IMDEA Software presentan oficialmente su nuevo Centro Conjunto de Investigación.

La colaboración comenzó ya a finales de 2013 con el objetivo de encuadrar y acelerar la investigación conjunta entre Microsoft Research y el Instituto IMDEA Software en la ciencia y tecnología del software. El Centro Conjunto de Investigación sienta las bases de una colaboración a largo plazo con el objeto de avanzar la ciencia y tecnología que permitirá el desarrollo de productos software eficientes y de alta calidad.

Enter otros miembros relevantes de la administración pública, la industria y la comunidad de investigación en temas de software, la presentación fue presidida por D. Carles Grau, Director de Sector Público de Microsoft Ibérica; Dña. Rocío Albert López-Ibor, Directora General de Universidades e Investigación de la Comunidad de Madrid; D. Manuel Hermenegildo, Director del Instituto IMDEA Software; Dña Judith Bishop, Directora de las Ciencias de la Computación en Microsoft Research y D. Jaime Puente, Director de América Latina en Microsoft Research.

Más información en:

Imágenes/vídeos del acto y enlaces a los medios

2 de abril de 2014: 1er Taller Conjunto Microsoft Research - Instituto IMDEA Software (MICW 2014)

El primer Taller del Centro Conjunto de Investigación entre Microsoft Research y el Instituto IMDEA Software tuvo lugar entre el 2 y 4 de abril del 2014 en las instalaciones del Insituto IMDEA Software en Madrid. El objetivo del taller fue reforzar la colaboración entre estas dos instituciones en los siguientes temas:

El taller fue la primera actividad del nuevo Centro, en el cual los investigadores de ambas instituciones han trabajado en temas de interés comunes. El taller fue organizado por Dña. Judith Bishop y D. Georges Gonthier de Microsoft Research y Gilles Barthe and Manuel Hermenegildo de Instituto IMDEA Software.

Estos talleres agrupan a investigadores y estudiantes para discutir sobre su trabajo colaborativo en temas candentes del software con el objetivo del avanzar en el estado del arte, y allá donde sea posible, trasladar estos avances al mercado. El foco del primer taller fueron: la verificación (coordinado por Alexey Gotsman y Francesco Logozzo), los lenguajes de programación (coordinado por Pierre Yves Strub y Georges Gonthier) y la seguridad (coordinado por Juan Caballero y Ben Livshits).

El taller de tres días incluía los siguientes invitados:

Más información en MSR-IMDEASW Joint Research Center web site y Workshop site at Microsoft Research.

8 de noviembre de 2013: Investigador de IMDEA Software gana el premio a la mejor tesis doctoral en ETH Zurich

ETH Zurich ha otorgado la medalla a la mejor tesis doctoral al investigador postdoctoral del Instituto IMDEA Software Benedikt Schmidt. La tesis trata sobre el análisis formal de protocolos físicos y protocolos para el intercambio de claves de seguridad.

15 de octubre de 2013: Investigadores de IMDEA Software publican cinco artículos en un congreso del máximo nivel

Cinco trabajos de investigadores del Instituto IMDEA Software han sido aceptados en el 41o ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), un congreso del máximo nivel en el campo de los lenguajes y sistemas de programación.

Esos cinco artículos forman parte de las 51 publicaciones escogidas entre las 220 enviadas por investigadores de todo el mundo.

8 de julio de 2013: Inauguración de la sede del Instituto Madrileño de Estudios Avanzados IMDEA Software

El presidente de la Comunidad de Madrid, Ignacio González González, presidió el acto de inauguración de la sede del Instituto Madrileño de Estudios Avanzados en Tecnologías de Desarrollo de Software (el Instituto IMDEA Software), que tuvo lugar el lunes 8 de julio de 2013, a las 12:00 horas.

Acompañaron al presidente de la Comunidad de Madrid la Secretaria de Estado de Investigación, Desarrollo e Innovación del Ministerio de Economía y Competitividad, Carmen Vela, el Rector de la Universidad Politécnica de Madrid, Carlos Conde, y la Consejera de Educación, Juventud y Deporte, Lucía Figar, además de otras personalidades de la industria y de la ciencia y la investigación.

Con más de 8000 m2, el nuevo edificio del Instituto incluye despachos, espacios para la interacción y la colaboración, áreas para reuniones de proyectos y congresos o talleres científicos e industriales, y potentes infraestructuras de comunicaciones y computación. El diseño del edificio facilita la creación de laboratorios conjuntos con la industria y la academia. Es muy eficiente energéticamente debido a su diseño energético, la cogeneración de electricidad y su completa automatización domótica.

El Instituto está ubicado en el Campus de Excelencia Internacional de Montegancedo de la Universidad Politécnica de Madrid, próximo a la Facultad de Informática, centros de investigación, y centros de transferencia tecnológica, incluyendo una incubadora de empresas.

El presidente se refirió al Instituto IMDEA Software como uno de los instrumentos con los que cuenta la Comunidad de Madrid para crear un ambiente favorable y de confianza para las empresas, atractivo para los innovadores, y que ayude a Madrid a potenciar dos de sus bien conocidas ventajas: su modernidad y su competitividad. Ignacio González terminó agradeciendo a todos el haber colaborado en un proyecto común con el objetivo de conseguir que España sea un país puntero, con una economía sostenible y competitiva, y, en especial, a los investigadores del centro el que hubieran elegido Madrid para desarrollar su talento.

Fotos y videos de la inauguración

28 de junio de 2013: El Instituto IMDEA Software, miembro asociado de EIT ICT Labs

El Instituto IMDEA Software ha sido elegido miembro asociado de ICT Labs (Information and Communication Technologies Labs), la Comunidad de Conocimiento e Innovación (KIC) TIC del Instituto Europeo de Innovación y Tecnología (EIT). El objetivo de los EIT ICT Labs del EIT es impulsar el liderazgo europeo en innovación en las TIC para favorecer el crecimiento económico y la calidad de vida. El comité de dirección de EIT ICT Labs tomó la decisión de admitir al Instituto IMDEA Software como miembro asociado el 26 de marzo de 2013. Como primer miembro español de EIT ICT Labs, el Instituto IMDEA Software está a cargo de la coordinación del nuevo nodo asociado (Associate Partner Group) Español, que incluye como miembros las siguientes organizaciones líderes en investigación, innovación y desarrollo empresarial en España: Telefónica, INDRA, Atos, la Universidad Politécnica de Madrid, y el Centro de Supercomputación de Barcelona. La sede (Associate Partner Group Co-Location Center) está situada en el nuevo edificio del Instituto IMDEA Software. EIT ICT Labs tiene actualmente cinco nodos situados en Berlín, Eindhoven, Helsinki, París, Estocolmo, y Trento, y tres nodos asociados, situados en Londres, Budapest y, ahora, Madrid. El propósito de cada nodo es catalizar el desarrollo del conocimiento y la innovación con la participación de Institutos de investigación de excelencia, universidades y empresas de cada uno de los países en los que tiene representacion, siguiendo un enfoque integrado sobre la base de una sinergia entre educación, investigación y negocio. Además de ICT Labs, otros KICs operan en el marco del EIT, centrados en temas relacionados con el clima y la energía.

24 de junio de 2013: Jornada de formación industrial sobre la tecnología ActionGUI

Dentro de las actividades del proyecto europeo NESSoS, el Instituto IMDEA Software ha organizado un curso intensivo sobre la tecnología ActionGUI, de un día de duración, con la participación de representantes de ATOS Research & Innovation. Investigadores de IMDEA y representantes de ATOS pudieron debatir en profundidad los posibles desarrollos futuros de la tecnología ActionGUI así como su potential impacto comercial.

10 de junio de 2013: Andrea Cerone premio al mejor artículo en DisCoTec 2013

Andrea Cerone (investigador postdoctoral del Instituto IMDEA Software) gana el premio al mejor trabajo en el 8° Congreso Internacional sobre Técnicas de Computación Distribuida, por el artículo Modeling Mac-layer Communications in Wireless Systems. El artículo ha sido escrito conjuntamente con Mathew Hennessy (Trinity College Dublin) y Massimo Merro (Università degli Studi di Verona).

6 de junio de 2013: Juan Caballero charla invitada en la reunión anual del M3AAWG en Viena

Juan Caballero da una charla invitada en la 38ª reunión anual del Messaging, Malware and Mobile Anti-Abuse Working Group (M3AAWG) en Viena, Austria. M3AAWG es el foro industrial más importante frente a los temas de seguridad en Internet, tales como disminución de ataques de "bots", spam, abuso de mensajería de Internet, y abusos de DNS. La lista de miembros de M3AAWG incluye a Apple, Google, AT&T, PayPal, Symantec, Time Warner, Facebook, Yahoo, France Telecom, y muchas otras compañías. La charla de Juan tiene lugar el 6 de junio, y es una de las dos conferencias académicas invitadas en el evento. Su charla trata sobre la aparición de servicios especializados en ecosistemas de malware que ayudan a explotar monetariamente ordenadores conectados a Internet.

Video resumen de la charla

15 de mayo de 2013: Publicado el Informe Anual 2012

El Instituto IMDEA Software ha publicado su informe anual 2012.

10 de abril de 2013: Unidad Conjunta de Investigación (JRU) con Telefónica Digital

En el marco de su estrategia de cooperación industrial, el Instituto IMDEA Software ha constituido, junto con Telefónica Digital una Unidad Especial Conjunta de Investigación (Joint Research Unit - JRU), en el área de los componentes y productos de software para la computación en la nube y sus infraestructuras de apoyo.

La formación del núcleo de la JRU se inició ya en diciembre de 2012, y en la actualidad incluye especialistas en las plataformas basadas en Java y OpenStack, así como especialistas en temas relacionados con la administración de los recursos virtuales en la nube. El enfoque de la JRU está orientado a la definición, el despliegue y la gestión automáticas de máquinas virtuales, almacenamiento y conectividad, las cuales componen la infraestructura fundamental para la actuación de las aplicaciones en la nube.

20 de marzo de 2013: Gilles Barthe conferencia plenaria en ETAPS 2013

Gilles Barthe ha impartido una de las dos conferencias plenarias en ETAPS 2013, presentando su trabajo sobre Computer-aided Cryptographic Proofs, desarrollada en el Instituto IMDEA Software. El sitio web de la herramienta EasyCrypt proporciona información adicional y referencias sobre esta línea de trabajo.

Las "European Joint Conferences on Theory and Practice of Software (ETAPS)" representan el máximo foro a nivel Europeo para los investigadores académicos e industriales que trabajan en temas relacionados con la ciencia del Software. Establecida en 1998, ETAPS es una confederación de seis importantes congresos anuales (CC, ESOP, FASE, FOSSACS, TACAS and POST) acompañados de talleres y otros eventos satélite.

6 de marzo de 2013: Cinco publicaciones de investigadores de IMDEA Software aceptadas en CAV 2013

Cinco contribuciones de investigadores del Instituto IMDEA Software han sido aceptadas en la 25th International Conference on Computer Aided Verification (CAV), una de las más prestigiosas conferencias en el área de métodos formales. Estos cinco artículos forman parte de las 70 publicaciones escogidas de entre 209 contribuciones enviadas por investigadores de todo el mundo.

5 de marzo de 2013: IMDEA Software en el consorcio del proyecto europeo 4Caast

El Instituto IMDEA Software se ha unido recientemente al proyecto 4Caast, un proyecto europeo de 39 meses en colaboración con Telefónica, SAP, France Telecom, Nokia, Bull, 2nd Quadrant, Flexiscale, Bonitasoft, y un número de instituciones académicas. 4Caast estudia la generación, configuración e instalación de aplicaciones en la Nube (Cloud). El proyecto permitirá al exploración de arquitecturas cloud de una manera eficiente, exhaustiva y libre de errores. Esto puede permitir reducir el tiempo de desarrollo de arquitecturas modernas y aumentar su fiabilidad. El Instituto IMDEA Software ha sido invitado para contribuir con su experiencia en la resolución de restricciones y programación basada en restricciones. Estas tecnologías forman el corazón del "blueprint solver", el componente clave que establece qué arquitecturas de aplicación satisfacen los requisitos del usuario.

25 de febrero de 2013: Investigadores de IMDEA Software ganan el premio al mejor artículo en PPoPP'13

Gilles Barthe , Juan Manuel Crespo , César Kunz y Mark Marron , investigadores de IMDEA Software, ganan el premio a la mejor contribución en el 18 ACM SIGPLAN Simposium en Principios y Práctica de Programación Paralela (PPoPP'2013) con su artículo From Relational Verification to SIMD Loop Synthesis.

El artículo cuenta con la colaboración de Sumit Gulwani (Microsoft Research) como co-autor.

3 de enero de 2013: El Instituto IMDEA Software se traslada a su sede definitiva

El Instituto IMDEA Software completa su mudanza a su nuevo edificio, terminado recientemente, obra del prestigioso estudo de arquitectura Lamela. Previamente, el instituto utilizaba instalaciones dedicadas en la Facultad de Informática de la Universidad Politécnica de Madrid. El nuevo edificio, localizado en el mismo Campus de Excelencia Internacional de Montegancedo, ofrece los más modernos equipamientos de informática y redes para ofrecer los mejores medios a sus investigadores y personal. El edificio ha recibido la etiqueta europea de energía "B", lo cual, junto a su instalación de domótica avanzada que incluye iluminación y control de temperatura inteligente, permitirá un gran ahorro de energía en el largo plazo. El edificio también alberga un pequeño centro de congresos apto para conferencias de tamaño pequeño y mediano, y una cafetería-comedor que permanecerá abierta a todo el campus. Más información aquí.

10 de diciembre de 2012: IMDEA Software y Boeing firman un acuerdo para desarrollar tecnología de procesado masivo de datos de redes sociales

IMDEA Software y Boing Research and Tecnology Europe han diseñado e implementado un framework para el procesado masivo de datos social media. Dicho framework incluye un lenguaje declarativo empotrado ideado por el Instituto IMDEA Software. Dicho lenguaje permite la descripción de flujos de trabajo que integran procesamiento map-reduce y procesamiento con aplicaciones nativas y es capaz de evitar recomputaciones innecesarias incrementado la eficiencia del procesado masivo de datos social media.

4 de diciembre de 2012: ETH Zurich e IMDEA Software firman un acuerdo paara desarrollar conjuntamente la tecnología ActionGUI

ETH Zurich e IMDEA Software han firmado un acuerdo para desarrollar conjuntamente la tecnología ActionGUI. ActionGUI es una tecnología para el desarrollo, dirigido por modelos, de sistemas de software seguros.La primera versión de ActionGUI se desarolló en el Modeling Lab de IMDEA Software, bajo la dirección del Prof. Manuel Clavel. El acuerdo firmado entre ETH Zurich e IMDEA Software regula los derechos y obligaciones de ambas instituciones con respecto a la explotación comercial de esta tecnología.

15 de noviembre de 2012: El proyecto ADVENT de IMDEA Software financiado por la UE (FET Young Explorers)

IMDEA Software coordina el proyecto ADVENT que empezará el 1 de abril de 2013. El proyecto está financiado por la Unión Europea, a través del programa Future and Emerging Technologies (FET) Young Explorers del Séptimo Programa Marco. El presupuesto del proyecto es de 1 millón de Euros. El consorcio cuenta, además de con IMDEA Software, con la Universidad de Tel Aviv (Israel), el Institutio Max Planck (Alemania) y la Universidad Católica de Lovaina (Bélgica). La nueva iniciativa FET Young Explorers persigue capturar el potencial creativo de investigadores jóvenes e impulsar su liderazgo y participación en proyectos de investigación colaborativa enfocándose en investigación multi-disciplinar y exploratoria. El proyecto ADVENT desarrollará métodos innovadores y herramientas para la verificación efectiva de sistemas software reales, permitiendo de esta manera garantizar niveles de fiabilidad del software sin precedentes. Las técnicas de verificación basadas en arquitecturas que se desarrollarán en el proyecto tienen el potencial de conseguir un incremento dramático en la relación coste/beneficio en las tecnologías de verificación. Esto permitirá a estas técnicas escalar a sistemas reales de tamaño y complejidad industrial, que no pueden ser tratados con los métodos actuales de control de calidad de software. El coordinador del proyecto, tanto en IMDEA Software como a nivel global, es Alexey Gotsman . La persona de contacto en IMDEA Software es Marta Sedano.

6 de noviembre de 2012: El proyecto AutoCrypt financiado por la Universidad de Stanford y ONR

El Instituto IMDEA Software ha conseguido financiación para AutoCrypt, un proyecto conjunto con Stanford University, University of Pennsylvania, y Stanford Research Institute. El proyecto está financiado por ONR y su duración es de julio de 2012 hasta julio de 2015.

El objetivo de AutoCrypt es conseguir proporcionar, mediante la aplicación de un programa de ordenador, garantías matemáticas de que un algoritmo criptográfico es seguro, y que es adecuado para un producto, proceso, o servicio dado.

El equipo del Instituto IMDEA Software utilizará la herramienta EasyCrypt para desarrollar una clasificación sistemática de algoritmos criptográficos y para crear un atlas criptográfico que será utilizado por investigadores y empresas para elegir el más apropiado a sus necesidades.

16 de octubre de 2012: Telefónica Digital e IMDEA Software firman un acuerdo para investigar en tecnología Cloud para la Internet del Futuro

IMDEA Software y Telefónica Digital han firmado un acuerdo para el desarrollo de componentes para la gestión automática de la escalabilidad en arquitecturas Cloud (en la nube) basada en la plataforma abierta OpenStack. Esta cooperación se lleva a cabo dentro de la iniciativa FI-WARE, que abarca los esfuerzos de la Comisión Europea dentro del 7PM para el desarrollo de una plataforma genérica y abierta para la Internet del Futuro.

1 de octubre de 2012: Primera convocatoria del programa Marie Curie COFUND Amarout-II de IMDEA

El programa AMAROUT-II ha abierto el periodo de solicitudes de contratos. Este programa EU Marie Curie (PEOPLE-COFUND), coordinado por el Instituto IMDEA Software, ofrece 152 contratos durante los próximos 4 años a investigadores experimentados para que desarrollen sus proyectos individuales dentro de cualquiera de los institutos que componen la red IMDEA. Cada contrato financia a un investigador durante de uno a tres años. La convocatoria de solicitudes continuará abierta (con fechas de cierre periódicas) hasta el 30 de septiembre de 2015. Para más información ver AMAROUT-II. Contacto:

8 de septiembre de 2012: Alexey Gotsman y Hongseok Yang ganan el premio al mejor artículo en CONCUR 2012

Alexey Gotsman ganó el premio al mejor artículo en la 23 Conferencia Internacional sobre Teoría de Concurrencia (CONCUR 2012). El artículo, titulado "Linearizability with Ownership Transfer", tiene como coautor a Hongseok Yang (Oxford University).

La "linearizabilidad" es la noción de corrección más utilizada en librerías concurrentes. Este artículo generaliza la noción de linearizabilidad a lenguajes de programación convencionales, en los que las librerías y sus clientes se pueden comunicar a través de la memoria heap, y transferirse la propiedad de estructuras de datos, e incluso pueden ejecutar en el mismo espacio de direcciones sin mecanismos de protección de memoria.

5 de septiembre de 2012: Concedidos 2.1 millones de Euros de la UE al proyecto ENTRA

El Instituto IMDEA Software ha conseguido financiación de la Unión Europea para el proyecto ``ENTRA (Whole-Systems Energy Transparency)'', cuyo objetivo es promover el desarrollo de software consciente del consumo de energía, que permita la producción de sistemas TI más "ecológicos", es decir, de bajo consumo energético. En el contexto del proyecto, con fecha de comienzo 1 de Octubre de 2012, investigadores del Instituto IMDEA Software inventarán y desarrollarán herramientas para el análisis y modelado de la energía consumida por los programas en sistemas de computación, que permitirán predecir el consumo de energía en etapas tempranas del diseño de software. ENTRA está financiado por el 7º Programa Marco de la UE, bajo el esquema de Tecnologías Futuras y Emergentes (FET), con un presupuesto total de 2.1 millones de Euros. Además del Instituto IMDEA Software y la Universiad de Roskilde, que coordina el proyecto, el consorcio incluye también a la empresa inglesa XMOS Ltd. y a la Universidad de Bristol.

Coordinador del proyecto en IMDEA Software: Pedro López-García

Portal web: ENTRA

3 de julio de 2012: IMDEA consigue el programa Marie Curie Amarout-II (PEOPLE-COFUND)

La red de institutos IMDEA ha obtenido AMAROUT-II, dentro del programa Marie Curie (PEOPLE-COFUND) de la UE, que ofrecerá 152 contratos durante los próximos 4 años a investigadores experimentados para que desarrollen sus proyectos individuales dentro de cualquiera de los institutos que componen la red IMDEA. Cada contrato financia a un investigador durante de uno a tres años. El 1 de octubre de 2012 se abrirá una convocatoria de solicitudes que continuará abierta (con fechas de cierre periódicas) hasta el 30 de septiembre de 2015. El programa, solicitado y coordinado por el Instituto IMDEA Software, está orientado a apoyar la movilidad transnacional de investigadores experimentados, ofreciendo condiciones de trabajo atractivas para que desarrollen sus capacidades como investigadores. AMAROUT-II es una continuación de AMAROUT, también un programa COFUND, que se desarrolló con gran éxito y que ya ha completado sus periodos de solicitudes.

Para más información ver AMAROUT-II. Contacto:

10 de mayo de 2012: Publicado el Informe Anual 2011

El Instituto IMDEA Software ha publicado su informe anual 2011.

29 de marzo de 2012: Santiago Zanella consigue el premio a la mejor tesis doctoral de EAPLS

Santiago Zanella, que completó su doctorado en IMDEA Software bajo la supervisión del Prof. Gilles Barthe, ha sido el ganador del premio EAPLS 2011 a la mejor tesis doctoral por su tesis "Formal Certification of Game-Based Cryptographic Proofs" presentada en la École Nationale Supérieure des Mines de París en 2010.

Este premio lo concede la European Association on Programming Languages and Systems al estudiante de doctorado que realice la contribución más original e influyente en el área de lenguajes de programación y sistemas, y que se haya graduado antes de noviembre de 2011 en una institución académica europea. El propósito del premio es atraer la atención al trabajo de excelencia, ayudar a la carrera del estudiante en cuestión, y promover el campo de investigación en su conjunto.

El ganador fue seleccionado por un comité de expertos internacionales. Aquí se pueden ver más detalles del procedimiento. Las tesis candidatas se juzgaron por su originalidad, impacto, relevancia y calidad.

Con esta última edición son ya dos los investigadores del Instituto IMDEA Software que han conseguido este prestigioso reconocimiento.

28 de marzo de 2012: Alexey Gotsman y Mark Marron obtienen dos prestigiosos premios de Microsoft

Los investigadores del Instituto IMDEA Software Alexey Gotsman y Mark Marron han obtenido 2 de los 10 Premios de la Fundación para la Innovación en la Ingeniería de Software (Microsoft Software Engineering Innovation Foundation - SEIF) concedidos por Microsoft Research en 2012.

Microsoft Research creó estos premios para promover la investigación en tecnologías de ingeniería del software, herramientas, prácticas y formación. Además de los investigadores del Instituto IMDEA Software Alexey Gotsman y Mark Marron en España, tan sólo otras 8 personas de entre más de 100 solicitudes han conseguido este premio en 2011: 1 en Suiza, 1 en Canadá y 6 en E.E.U.U.

Alexey Gotsman y Mark Marron serán reconocidos públicamemente en el nuevo día SEIF, que se celebrará el 18 de Julio de 2012 en Redmond, EEUU. Esta celebración es un nuevo evento anual en el programa SEIF al que acudirán los ganadores actuales y de ediciones anteriores, investigadores influyentes de la ingeniería del software, e investigadores de Microsoft Research.

8 de diciembre de 2011: Dragan Ivanović, Manuel Carro y Manuel Hermenegildo ganan el Premio al Mejor Artículo en ICSOC 2011

El artículo "Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations", escrito por los investigadores Dragan Ivanović, Manuel Carro, y Manuel Hermenegildo, del Instituto IMDEA Software y UPM, ha obtenido el premio al mejor artículo en ICSOC 2011,la novena edición del congreso Internacional en Computación Orientada a Servicios (ICSOC 2011), celebrada en Paphos, Chipre, del 5 al 8 de diciembre de 2011.

El artículo presenta y evalúa una técnica para predecir violaciones de acuerdos de nivel de servicio (SLA) en orquestaciones de servicios y para determinar bajo qué condiciones dichas violacions pueden o no ocurrir. La técnica utilizada es un modelizado de la orquestación que puede evolucionar según se ejecuta el proceso por lo que es capaz de tener en cuenta cambios dinámicos en el mismo. En cada punto de control se genera una representación de la continuación del proceso (es decir, lo que queda por ser ejecutado) que se envía a un predictor el cual sintetiza, por medio de un intérprete simbólico, un sistema de restricciones que modeliza el comportamiento esperado hasta el final de la ejecución. El modelo expresado como restricciones se pasa a un resolutor basado en Prolog que recibe asimismo las condiciones de contorno que representan escenarios que fuerzan el cumplimiento o la violación de los SLAs. Los resultados del resolutor de restricciones indican los casos en los cuales se satisfacen o no los SLAs. La evaluación de la técnica bajo condiciones realistas obtenidas de ejecuciones bajo Microsoft Workflow Engine indican una precisión extremadamente alta en la predicción, con un número muy bajo (o, en algunos casos, nulo) de falsos positivos / falsos negativos.

15 de agosto de 2011: Gilles Barthe y Santiago Zanella ganan el Premio al Mejor Artículo en CRYPTO 2011

El artículo Computer-Aided Security Proofs for the Working Cryptographer, del que son coautores los investigadores del Instituto IMDEA Software Gilles Barthe y Santiago Zanella con colegas del INRIA, ha ganado el Premio al Mejor Artículo en CRYPTO 2011, el 31 Congreso Internacional de Criptografía celebrado en la Universidad de California, Santa Barbara, del 14 al 18 de agosto de 2011.

Puede ver la presentación del paper en CRYPTO'11:

El artículo presenta EasyCrypt, una herramienta automática para la elaboración de pruebas de seguridad de sistemas criptográficos que utiliza resolutores SMT y demostradores automáticos de teoremas estándares. La herramienta es sustancialmente más fácil de utilizar que sus predecesoras y podría ser candidata a ser adoptada por criptógrafos en su trabajo diario. La utilidad de la herramienta se ilustra a través de su aplicación a pruebas de seguridad de los criptosistemas Cramer-Shoup y Hashed ElGamal.

10 de agosto de 2011: Un artículo de Juan Caballero recibe un Outstanding Paper Award en Usenix Security 2011

El artículo Measuring Pay-per-Install: The Commoditization of Malware Distribution, del que es co-autor Juan Caballero, Assistant Professor en el Instituto IMDEA Software es el ganador de un Outstanding Paper Award en el simposio Usenix Security 2011.

El artículo presenta un trabajo reciente de Caballero en colaboración con investigadores de la Universidad de California en Berkeley que sugiere que la mayor parte del "malware" en los ordenadores personales ha sido instalado silenciosamente por hackers con cultura empresarial, los cuales venden el acceso a los ordenadores infectados a bandas criminales en un mercado clandestino de infecciones denominado "Pay-per-install" (PPI). Este artículo ha sido reflejado recientemente en el "MIT Technology review".

8 de julio de 2011: Manuel Hermenegildo miembro del equipo ganador del 18 Concurso de Programación Prolog

Manuel Hermenegildo, Director del Instituto, ha formado parte, con los profesores Michael Leuschel (Universidad de Düsseldorf) y Antonio Porto (Universidad de Lisboa) del equipo ganador del 18 Concurso de Programación Prolog en el 27 Comgreso Internacional de Programción Lógica en Lexington, Kentucky, EEUU. Se utilizó para ello por supuesto el sistema Ciao que fue declarado "sistema Prolog del año." Y todo ello teniendo que soportar que los organizadores del concurso se refirieran a ellos como el equipo de los "viejos"...

10 de junio de 2011: Nueva investigación del Instituto IMDEA Software aparece en el Technology Review del MIT

Technology Review del MIT ha publicado un artículo sobre un trabajo reciente de investigadores del Instituto IMDEA Software en colaboración con investigadores de la Universidad de California en Berkeley que sugiere que la mayor parte del "malware" en los ordenadores personales ha sido instalado silenciosamente por hackers con cultura empresarial, los cuales venden el acceso a los ordenadores infectados a bandas criminales en un mercado clandestino de infecciones denominado "Pay-per-install" (PPI).

1 de junio de 2011: Pavithra Prabhakar se incorpora al Instituto IMDEA Software

Pavithra Prabhakar obtuvo su doctorado en Informática por la universidad de Illinois en Urbana-Champaign (UIUC) en 2011. Anteriormente había recibido un masters en Applied Mathematics por la misma universidad. Pavithra también tiene un masters en Informática por Indian Institute of Science, Bangalore y un título en informática por National Institute of Technology, Warangal, en India.

Pavithra se unió al profesorado investigador del Instituto IMDEA Software en 2011, pero disfrutó de una estancia investigadora en el California Insitute of Technology como Fellow del CMI (Center for Mathematics of Information), retrasando su incorporación definitiva a IMDEA a septiembre de 2012. Pavithra también ha realizado estancias durante varios veranos en los Bell-Labs en Murray Hill (NJ), trabajando en la síntesis formal de servicios web.

Pavithra ha recibido el previo Sohaib and Sara Abbasi por UIUC y la medalla M.N.S Swamy medal del Indian Institute of Science.

Su área de investigación es el análisis formal de sistemas cyber-físicos (Cyber-Physical Systems). Ha publicado extensivamente en conferencias sobre Hybrid Systems y Métodos Formales. Una contribución de Pavithra en HSCC ha recibido el premio de mención honorífica.

10 de mayo de 2011: Publicado el Informe Anual 2010

El Instituto IMDEA Software ha publicado su Informe Anual 2010.

28 de abril de 2011: AbsInt e IMDEA firman un acuerdo para el desarrollo conjunto de tecnología de interpretación abstracta

AbsInt e IMDEA Software firman un acuerdo para colaborar en el desarrollo del analizador estático ASTREE, comercializado por AbsInt y en uso por numerosas compañías (entre las que se encuentra por ejemplo AirBus) para la verificación de ausencia de fallos en programas críticos. Por parte de IMDEA la investigación será liderada por Laurent Mauborgne. El objetivo de la investigación, que proveera a ASTREE con características para analizar programas más complejos, será financiado por AbsInt.

11 de abril de 2011: Alexey Gotsman consigue el premio a la mejor tesis doctoral de la EAPLS

Alexey Gotsman, Assistant Professor en el Instituto IMDEA Software, ha recibido el premio de la EAPLS a la mejor tesis en 2010 por su tesis "Logics and analyses for concurrent heap-manipulating programs" realizado en el "Computer Laboratory" de la Universidad de Cambridge.

Este premio lo concede la European Association on Programming Languages and Systems al estudiante de doctorado que realice la contribución más original e influyente en el área de lenguajes de programación y sistemas, y que se haya graduado antes de noviembre de 2010 en una institución académica europea. El propósito del premio es atraer la atención a el trabajo de excelencia, ayudar a la carrera del estudiante en cuestión, y promover el campo de investigación en su conjunto.

El ganador fue seleccionado por un comité de expertos internacionales. Aquí se pueden ver más detalles del procedimiento. El trabajo del candidato fue juzgado por su originalidad, impacto, relevancia y calidad. Las conclusiones del jurado pueden verse aquí.

1 de abril de 2011: Laurent Mauborgne premio AAIA Intelligent Systems a la mejor publicación

Laurent Mauborgne, Investigador en el Instituto IMDEA Software es uno de los ganadores del Intelligent Systems Best Paper Award por su artículo "Static Analysis and Verification of Aerospace Software by Abstract Interpretation" presentado en el 2010 AAIA Infotech@Aerospace.

Este premio lo otorga el American Institute of Aeronautics and Astronautics.

1 de enero de 2011: John Gallagher recibe financiación por 3 años del Natural Science Research Council de Dinamarca.

El Natural Science Research Council (FNU) de Dinamarca financiará durante 3 años (2011-2013) el proyecto "NUSA: Numerical and Symbolic Abstractions for Software Model Checking" liderado por John Gallagher .

El proyecto financia la colaboración entre Roskilde University y el Instituto IMDEA Software, así como con Ben-Gurion University de Israel, IRISA/Univ. Rennes de Francia y K.U. Leuven de Bélgica.

24 de noviembre de 2010: Los institutos IMDEA participan en la Noche de los Investigadores

Los Institutos IMDEA participaron en los eventos en Madrid de la Noche de los Investigadores, una iniciativa pan-Europea que reúne al público en general con los investigadores una vez al año en el cuarto viernes de septiembre. La edición de 2010 se celebró el 24 de septiembre en 600 localizaciones de 250 ciudades europeas, en 33 países. En Madrid hubo varias actividades, entre ellas una mesa redonda con todos los directores de los Institutos IMDEA. Se realizó también, tras dicha mesa redonda, una Entrevista a Manuel Hermenegildo, Director del Instituto IMDEA Software.

2 de noviembre de 2010: Juan Caballero se incorpora al Instituto

Juan Caballero (Ph.D. Carnegie Mellon University, EEUU) se ha incorporado a IMDEA Software como Assistant Research Professor (tenure-track). Anteriormente ocupaba un puesto de Visiting Graduate Student en UC Berkeley.

19 de octubre de 2010: Manuel Hermenegildo elegido miembro de la Academia Europaea

Manuel Hermenegildo, Director of IMDEA Software, ha sido elegido miembro de la Academia Europaea.

18 de octubre de 2010: La Consejera de Educación de la Comunidad de Madrid visita las obras de construcción

La Consejera de Educación de la Comunidad de Madrid, Lucía Figar, visita las obras de construcción del edificio que será la sede definitiva del Instituto IMDEA Software Institute. Nota de prensa. Fotos.

25 de septiembre de 2010: Alexey Gotsman se incorpora al Instituto

Alexey Gotsman (Ph.D. University of Cambridge, 2009) se ha incorporado a IMDEA Software como Assistant Research Professor (tenure-track). Anteriormente, ocupaba un puesto de investigador postdoctoral en la Universidad de Cambridge, donde había obtenido su doctorado.

1 de septiembre de 2010: Publicado el informe bianual 2008-09

El Instituto IMDEA Software ha publicado su informe bianual 2008-09.

1 de septiembre de 2010: Boris Köpf se incorpora al Instituto

Boris Köpf se ha incorporado a la plantilla de IMDEA Software como Assistant Research Professor. Boris se doctoró en el grupo de Information Security del ETH Zurich, y realizó estudios postdoctorales en el Max Planck Institute for Software Systems. Los intereses de Boris se centran en Seguridad de la información, Seguridad contra ataques por canales laterales, Cuantificación del los flujos de información, verificación y algoritmos.

28 de octubre de 2009: IMDEA Software organiza un taller sobre Industrialización de la Interpretación Abstracta

IMDEA Software ha organizado un workshop sobre "Industrialización de la Interpretación Abstracta" en el contexto del proyecto ES_PASS. Celebrado el 28 de Octubre de 2009 en Madrid, ha sido una exitosa experiencia en la que se han presentado los resultados del proyecto ES_PASS a una amplia y variada audiencia formada fundamentalmente por representantes de empresas, así como algunos centros de investigación, y se han establecido nuevos contactos y sinergias entre dichos participantes.

ES_PASS (Embedded Software Product-based Assurance) es un proyecto europeo del cluster ITEA2 cuyo objetivo es la mejora e integración de técnicas de verificación de software basadas en análisis estático en los procesos de ingeniería actuales dentro del área de sistemas embarcados de seguridad crítica.

El consorcio del proyecto incluye empresas tales como Airbus France, AbsInt, CS Systèmes d'Information, Continental Automotive France SAS, Thales Avionics, Daimler AG, Esterel Technologies, PSA Peugeot Citroen, Siemens VDO Automotive, EADS Astrium, GTD Barcelona, Onera, PolySpace Technologies, Thales Transportation, ALCATEL TSD y IFB Berlin, así como instituciones de investigación.

Coordinación local del proyecto y organización del workshop: Pedro López-García .

23 de octubre de 2009: Aleks Nanevski se incorpora al Instituto

Aleks Nanevski se ha incorporado a la plantilla de IMDEA Software como Assistant Research Professor. Aleks se doctoró en la Universidad Carnegie-Mellon y realizó estudios postdoctorales en Microsoft Research, Cambridge, y en la Universidad de Harvard. Los intereses de Aleks se centran en el diseño e implementación de lenguajes de programación y en las metodologías que facilitan la especificación y verificación de varias propiedades de los programas. También está interesado en todos los aspectos de la compilación y optimización de los lenguajes de programación modernos y en otros métodos de verificación formales, como la demostración interactiva y automática de teoremas, procedimientos de decisión, análisis de programas y la verificación formal de software (software model checking).

1 de septiembre de 2009: Pierre Ganty se incorpora al Instituto

Pierre Ganty se ha incorporado a IMDEA como Assistant Research Professor. En Septiembre de 2007, Pierre recibió su doctorado por la Universidad Libre de Bruselas. Antes de incorporarse a IMDEA, realizó un postdoctorado en UCLA (University Los Angeles, California). Sus lineas de investigación son (sin orden): verificación de sistemas con infinitos estados; técnicas de abstractas de refinamiento para verificación; técnicas de análisis acotado; lógica y teoría de autómatas; algoritmos y herramientas para el diseño y verificación de sistemas reactivos y distribuidos; análisis de programas; y métodos formales para sistemas distribuidos: redes de petri.

1 de agosto de 2009: Laurent Mauborgne se incorpora al Instituto

Laurent Mauborgne se ha incorporado al Instituto como Researcher. Anteriormente era profesor de la École normale superieure y profesor a tiempo parcial de la École Polytechnique, Francia. Recibió su doctorado en informática por la École Polytechnique en 1999, y la Habilitation à diriger les recherches de la Universidad Paris-Dauphine (Francia) en 2007. Su investigación se centra en el análisis estático de programas y en la interpretación abstracta, con el objetivo de desarrollar tanto resultados teóricos como herramientas prácticas para analizar el comportamiento de programas. Laurent es uno de los autores del analizador Astrée, una herramienta que ha conseguido demostrar la ausencia de errores de ejecución en código crítico de aviónica.

14 de julio de 2009: John Gallagher y Henning Christiansen ganan el premio a la mejor publicación en ICLP'09

John Gallagher , investigador de IMDEA Software, y Henning Christiansen han ganado el premio a la mejor publicación en el Congreso Internacional de Programación Lógica 2009 en Pasadena, CA, EEUU por el artículo "Non-Discriminating Arguments and Their Uses". El premio lo otorga la Association for Logic Programming.

9 de abril de 2009: Primera reunión del proyecto HATS

Gilles Barthe, Manuel Hermenegildo y Manuel Clavel participaron en la primera reunión del projecto HATS, celebrada en Bolonia (Italia) del 9 al 11 de marzo de 2009. HATS es un projecto europeo del 7 Programa Marco, orientado al desarrollo de familias de productos software. El nucleo científico del projecto consiste en la definición de un lenguaje para la especificación abstracta del comportamiento que permita la descripción precisa de las características y de los componentes tanto de las familias de productos software como de sus instancias. IMDEA Software forma parte del consorcio HATS, en colaboración con la UPM, junto con otros 7 socios académicos, 2 centros de investigación y 1 PYME.

9 de abril de 2009: Comienza el programa AMAROUT para la movilidad de investigadores

La red de institutos IMDEA ha obtenido un programa de cofinanciación de movilidad de investigadores dentro de las acciones Marie-Curie del 7 Programa Marco. El programa, denominado AMAROUT, financiará la incorporación a la red de institutos IMDEA de más de 130 investigadores de excelencia durante un año (extensible hasta tres). La duración del programa AMAROUT es de cuatro años a partir del 1 de marzo de 2009. IMDEA Software es el proponente y coordinador del programa AMAROUT

1 de febrero de 2009: Anindya Banerjee se incorpora al Instituto IMDEA Software

Anindya Banerjee se incorporará a la plantilla de IMDEA Software en diciembre de 2008. Anindya ha sido hasta ahora Catedrático en el Departamento de Computación y Ciencia Informática de la Kansas State University, y durante 2007--2008 fue investigador visitante en el Programming Languages and Methodology group de Microsoft Research en Redmond, en estancia sabática de KSU.

1 de enero de 2009: Ganador del concurso de ideas para el nuevo edificio

Al comienzo de 2008, IMDEA Software publicó un concurso de ideas para el diseño de su sede definitiva, recibiendo respuestas de seis arquitectos de renombre. En noviembre de 2008, un comité formado por miembros de IMDEA Software, la Comunidad de Madrid y expertos externos eligieron como diseño ganador del concurso el presentado por Estudio Lamela. La construcción de este nuevo edificio comenzará en breve y se prevee que este culminada para cuando el Instituto crezca más allá de la capacidad de los espacios temporales que ocupa en la actualidad en la Facultad de Informática de la UPM.