Pepe Vila y Joaquín Arias, dos ex alumnos de doctorado del Instituto IMDEA Softare, han ganado el premio extraordinario de tesis doctorales 2019-2020 que concede la Universidad Politécnica de Madrid.
La tesis de Pepe Vila, “Learning Secrets and Models from Execution Time”, dirigida por el Dr. Boris Köpf, estudia los problemas surgidos en sistemas informáticos que filtran información a través del tiempo de ejecución centrándose en cómo dichas fugas pueden ser utilizadas para aprender secretos —de computaciones confidenciales— o modelos —de los componentes subyacentes—, proporcionando ejemplos que violan suposiciones previas sobre la seguridad de los sistemas o sobre los límites de un atacante. Los resultados de su tesis constituyen una evidencia de que se requieren mejores modelos y métodos para evaluar -tanto la seguridad de los sistemas informáticos como las medidas contra ciberataques.
Dr. Manuel Carro, director del Instituto, dirigió la tesis de Joaquín Arias: “Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints”. La tesis de Joaquín contribuye al estado del arte de: (i) la programación lógica con restricciones y tabulación (TCLP) y (ii) Answer Set Programming con restriccions (CASP). Sus resultados ofrecen ventajas en varios frentes: las consultas complejas y los razonamientos no trivial pueden ser expresados de manera más sencilla gracias al uso del lenguaje de alto nivel basado en lógica con restricciones; además, requiere de una menor cantidad de cómputo gracias a la reutilización automática de inferencias anteriores. El uso de las herramientas resultantes, Mod TCLP y s(CASP), facilita la traducción de los requisitos del problema en código y minimiza la cantidad de reingeniería que es necesaria para adecuar los requisitos cuando estos cambian.
