Día 2 del 14º Coloquio Nacional de Códigos y Criptografía: Innovaciones en Compilación Verificada y Pruebas Criptográficas 🔐

Índice

3:00 | CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Chitchanok Chuengsatiansup
The University of Melbourbe, Australia

1:17:56 | 13. Códigos asociados a una nueva familia de matrices fractales
Jesús Carrillo Pacheco
UACM - San Lorenzo Tezonco

1:43:17 | 14. Avances en la detección de manipulaciones en imágenes digitales del mundo real
Elizabeth Campos-Ponce
Instituto Politécnico Nacional

2:33:00 | 15. Diseño de Cajas S con Buenas Propiedades Criptográficas para Cifradores Ligeros Tipo Feistel
David Carcaño Ventura
Instituto Nacional de Astrofísica, Optica y Electrónica

2:57:46 | 16. Algoritmos criptográficos ligeros para redes de sensores inalámbricas
Ariadna Isabel Rodríguez Gómez
Instituto Politécnico Nacional, Centro de Investigación en Computación

3:22:55 | 17. Los códigos de subcampo de una subclase de códigos cíclicos óptimos y sus estructuras de cobertura
Félix Hernández
Posgrado en Ciencia e Ingeniería de la Computación, Universidad Nacional Autónoma de México