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.
