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.
