curso de verano en UniAndes

Están invitados a tomar el curso de verano de Criptografía en los Andes. Hablen con Humberto Sarria para detalles de cómo inscribirlo.

CURSO DE VERANO EN UNIANDES

Fundamentos de Criptografía: seguridad demostrable

Profesora: Adriana Palacio (estudiante del doctorado de University of California at San Diego)

Junio 16 a julio 21 de 2005

Este curso introduce las ideas formales básicas de la criptografía moderna. Aplicaremos la teoría de "seguridad demostrable" al diseño y análisis de protocolos criptográficos prácticos. Consideraremos objetivos clásicos de la criptografía como son la confidencialidad, la autenticidad o integridad, y el intercambio autenticado de claves. Los temas a tratar incluyen cifrados en bloque, funciones pseudoaleatorias, cifrarios simétricos, funciones de hashing, códigos de autenticación de mensajes, cifrarios asimétricos, firmas digitales, y, si el tiempo lo permite, pruebas interactivas de cero conocimiento.

La criptografía es sólo una parte de un área mucho más amplia: la seguridad de computadores y redes. Hay muchos temas que están fuera del alcance de la criptografía y que no trataremos en este curso, como los virus, los gusanos, los ataques de buffer overflow, el control de acceso, la detección de intrusos, etc. No consideraremos asuntos de implementación. No habrá tareas de programación.

El curso involucra abstracción matemática y demostraciones. Uno de los aspectos más importantes es aprender a manejar estos conceptos. Aunque la meta siempre es obtener soluciones prácticas, el trabajo involucrado en el curso es teórico. El requerimiento básico es la madurez matemática. El estudiante debe ser capaz de leer y escribir definiciones, resultados y demostraciones matemáticas.

Ver más detalles aquí y aquí.