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.
