División de Ciencias Básicas e Ingeniería UAMI

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