18 may 2023 · Infraestructura Post-Cuantica
Planos de control de migracion post-cuantica: Especificacion y verificacion orientadas a invariantes
Un analisis formal de ingenieria sobre infraestructura post-cuantica con enfasis en especificacion y verificacion orientadas a invariantes y restricciones operativas adversariales.