Los investigadores del Instituto IMDEA Software, Marco Guarnieri y Pepe Vila, junto con Boris Köpf (Microsoft Research) y Jan Reineke (Universidad de Saarland), han ganado el premio al mejor artículo en el 42º Simposio del IEEE sobre Seguridad y Privacidad (S&P) por su artículo “Hardware-Software Contracts for Secure Speculation”.
El artículo desarrolla un marco para definir contratos hardware-software que capturen las garantías de seguridad de los canales laterales del hardware de una manera sencilla e independiente del propio mecanismo. El marco proporciona las bases para el codiseño de principios de hardware y software para sistemas resistentes a los canales laterales. Utilizando este marco, los autores caracterizan las garantías de seguridad proporcionadas por los recientes mecanismos de hardware para la especulación segura, asignando cada mecanismo a un conjunto de contratos hardware-software. Los contratos son también la base de la programación segura, en la que diferentes contratos imponen distintos requisitos a nivel de software para la seguridad de extremo a extremo.
El trabajo ha sido apoyado por una beca de Intel Corporation, la beca Atracción de Talento Investigador 2018- T2/TIC-11732A, la beca Juan de la Cierva-Formación FJC2018- 036513-I, el proyecto español RTI2018-102043-B-I00 SCUM, y el proyecto de la Comunidad de Madrid S2018/TCS-4339 BLOQUES.
