STIGNING

Blog de Ingeniería

Archivo técnico de publicaciones para ingeniería de infraestructura distribuida

Los artículos se publican para equipos de programa, liderazgo técnico y grupos de arquitectura que requieren rigor en criptografía, sistemas distribuidos y resiliencia adversarial.

Archivo

Artículos publicados

Explorar categorías (18)
Explorar tags (57)

67 artículos encontrados. Mostrando 49-60.

16 jul 2023 · Infraestructura Post-Cuantica

Planos de control de migracion post-cuantica: Secuenciacion de migracion para sistemas de alta garantia

Un analisis formal de ingenieria sobre infraestructura post-cuantica con enfasis en secuenciacion de migracion para sistemas de alta garantia y restricciones operativas adversariales.

04 jun 2023 · Infraestructura Post-Cuantica

Planos de control de migracion post-cuantica: Supuestos de compromiso bizantino y rutas de recuperacion

Un analisis formal de ingenieria sobre infraestructura post-cuantica con enfasis en supuestos de compromiso bizantino y rutas de recuperacion y restricciones operativas adversariales.

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.

06 abr 2023 · Infraestructura Post-Cuantica

Planos de control de migracion post-cuantica: Tradeoffs latencia-disponibilidad bajo carga adversarial

Un analisis formal de ingenieria sobre infraestructura post-cuantica con enfasis en tradeoffs latencia-disponibilidad bajo carga adversarial y restricciones operativas adversariales.

21 mar 2023 · Infraestructura Post-Cuantica

Planos de control de migracion post-cuantica: Contencion de fallas y limites de radio de impacto

Un analisis formal de ingenieria sobre infraestructura post-cuantica con enfasis en contencion de fallas y limites de radio de impacto y restricciones operativas adversariales.

23 ene 2023 · Sistemas Distribuidos

Seguridad de runtime de consenso bajo retraso asimetrico: Cadenas de evidencia de auditoria y operaciones verificables

Un analisis formal de ingenieria sobre sistemas distribuidos con enfasis en cadenas de evidencia de auditoria y operaciones verificables y restricciones operativas adversariales.

11 dic 2022 · Sistemas Distribuidos

Seguridad de runtime de consenso bajo retraso asimetrico: Secuenciacion de migracion para sistemas de alta garantia

Un analisis formal de ingenieria sobre sistemas distribuidos con enfasis en secuenciacion de migracion para sistemas de alta garantia y restricciones operativas adversariales.

25 nov 2022 · Sistemas Distribuidos

Seguridad de runtime de consenso bajo retraso asimetrico: Supuestos de compromiso bizantino y rutas de recuperacion

Un analisis formal de ingenieria sobre sistemas distribuidos con enfasis en supuestos de compromiso bizantino y rutas de recuperacion y restricciones operativas adversariales.