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

Buscar

Explorar categorías (25)

Explorar tags (66)

distributed-systems research mathematics threat-modeling cryptography security-architecture incident-analysis infrastructure-failure adversarial-systems distributed-architecture adversarial-infrastructure cryptographic-governance enterprise-architecture security pki migration backend iiot key-management devsecops fintech identity-/-key-management-failure assurance auditability byzantine consensus critical-infrastructure custody failure-containment formal-methods identity incident-recovery incident-response latency-modeling networking observability post-quantum release-engineering resilience supply-chain blockchain cloud-control-plane-failure devsecops-pipeline-compromise high-performance-backend-under-adversarial-load distributed-systems-failure distributed-systems-survivability identity-security pqc secure-iiot-resilience blockchain-protocol-governance cloud-control-plane identity-boundary post-quantum-infrastructure-migration backpressure custody-/-mpc-infrastructure-event devsecops-under-regulatory-pressure edge-compute identity-&-key-management insider-threat key-lifecycle mpc quota-systems rollout-governance session-security software-supply-chain threshold-signatures

104 artículos encontrados. Mostrando 85-96.

27 ago 2023 · Infraestructura Post-Cuantica

Planos de control de migracion post-cuantica: Cadenas de evidencia de auditoria y operaciones verificables

Un analisis formal de ingenieria sobre infraestructura post-cuantica con enfasis en cadenas de evidencia de auditoria y operaciones verificables y restricciones operativas adversariales.

13 minLeer artículo

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.

12 minLeer artículo

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.

11 minLeer artículo

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.

10 minLeer artículo

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.

9 minLeer artículo

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.

8 minLeer artículo

09 feb 2023 · Sistemas Distribuidos

Seguridad de runtime de consenso bajo retraso asimetrico: Reconstitucion de incidentes bajo falla parcial

Un analisis formal de ingenieria sobre sistemas distribuidos con enfasis en reconstitucion de incidentes bajo falla parcial y restricciones operativas adversariales.

14 minLeer artículo

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.

13 minLeer artículo

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.

12 minLeer artículo

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.

11 minLeer artículo

13 oct 2022 · Sistemas Distribuidos

Seguridad de runtime de consenso bajo retraso asimetrico: Especificacion y verificacion orientadas a invariantes

Un analisis formal de ingenieria sobre sistemas distribuidos con enfasis en especificacion y verificacion orientadas a invariantes y restricciones operativas adversariales.

10 minLeer artículo

27 sept 2022 · Sistemas Distribuidos

Seguridad de runtime de consenso bajo retraso asimetrico: Tradeoffs latencia-disponibilidad bajo carga adversarial

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

9 minLeer artículo