Seminario "Búsqueda de Circuitos Lógicos Eficientes para Aplicaciones Criptográficas"
Consideraré el problema de implementar una función arbitraria mediante un circuito con operaciones módulo 2 ( donde 1 + 1 = 0). Por ejemplo, este circuito calcula la función “mayoría de tres bits”
Dos medidas de complejidad son : i) el número total de compuertas; ii) el número de multiplicaciones. Encontrar circuitos óptimos bajo cualquiera de estas medidas es un problema computacional tan importante como intratable. Ni siquiera sabemos como multiplicar un byte por otro en forma óptima.
Describiré algunas técnicas que han hecho posible mejorar los circuitos conocidos para muchas funciones que surgen en la práctica (y en particular en criptografía).
Impartido por el Dr. René Peralta, investigador del Instituto Norteamericano de Metrología y Normalización (NIST).
Breve Resumen del Dr. Peralta:
El Dr. René Peralta estudió economía (B.A. Hamilton College), matemáticas (M.S. SUNY), y computación (PH.D. UC Berkeley). Ha publicado principalmente en las áreas de criptografía y algorítmica. Hasta el año 2005 fue profesor universitario e investigador en diversas instituciones en Chile, Japón, y EEUU. Desde el 2006 se desempeña como científico en el instituto norteamericano de metrología y normalización (NIST). Como miembro del departamento de seguridad (https://www.nist.gov/itl/csd/) trabaja en proyectos de relevancia actual como la adopción de un nuevo standard de hashing (https://csrc.nist.gov/groups/ST/hash/index.html) ; el servicio de aleatoriedad pública (https://www.nist.gov/itl/csd/ct/nist_beacon.cfm); y el urgente problema de adopción de criptografía resistente a las computadoras cuánticas (https://www.nist.gov/itl/csd/ct/post-quantum-crypto-workshop-2015.cfm).
Su trabajo en problemas fundamentales se centra en complejidad de circuitos bajo métricas de importancia para aplicaciones criptográficas e ingenieriles (https://cs-www.cs.yale.edu/homes/peralta/CircuitStuff/CMT.html).