Blog de Engenharia

Arquivo técnico de publicações para engenharia de infraestrutura distribuída

Os artigos são publicados para times de programa, liderança técnica e grupos de arquitetura que exigem rigor em criptografia, sistemas distribuídos e resiliência adversarial.

Arquivo

Artigos publicados

Buscar

Explorar categorias (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 artigos encontrados. Mostrando 85-96.

27 de ago. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Cadeias de evidencia de auditoria e operacoes verificaveis

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em cadeias de evidencia de auditoria e operacoes verificaveis e restricoes operacionais adversariais.

13 minLer artigo

16 de jul. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Sequenciamento de migracao para sistemas de alta garantia

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em sequenciamento de migracao para sistemas de alta garantia e restricoes operacionais adversariais.

12 minLer artigo

04 de jun. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Premissas de comprometimento bizantino e caminhos de recuperacao

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em premissas de comprometimento bizantino e caminhos de recuperacao e restricoes operacionais adversariais.

11 minLer artigo

18 de mai. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Especificacao e verificacao orientadas a invariantes

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em especificacao e verificacao orientadas a invariantes e restricoes operacionais adversariais.

10 minLer artigo

06 de abr. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Tradeoffs latencia-disponibilidade sob carga adversarial

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em tradeoffs latencia-disponibilidade sob carga adversarial e restricoes operacionais adversariais.

9 minLer artigo

21 de mar. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Contencao de falhas e limites de raio de impacto

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em contencao de falhas e limites de raio de impacto e restricoes operacionais adversariais.

8 minLer artigo

09 de fev. de 2023 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Reconstituicao de incidentes sob falha parcial

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em reconstituicao de incidentes sob falha parcial e restricoes operacionais adversariais.

14 minLer artigo

23 de jan. de 2023 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Cadeias de evidencia de auditoria e operacoes verificaveis

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em cadeias de evidencia de auditoria e operacoes verificaveis e restricoes operacionais adversariais.

13 minLer artigo

11 de dez. de 2022 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Sequenciamento de migracao para sistemas de alta garantia

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em sequenciamento de migracao para sistemas de alta garantia e restricoes operacionais adversariais.

12 minLer artigo

25 de nov. de 2022 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Premissas de comprometimento bizantino e caminhos de recuperacao

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em premissas de comprometimento bizantino e caminhos de recuperacao e restricoes operacionais adversariais.

11 minLer artigo

13 de out. de 2022 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Especificacao e verificacao orientadas a invariantes

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em especificacao e verificacao orientadas a invariantes e restricoes operacionais adversariais.

10 minLer artigo

27 de set. de 2022 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Tradeoffs latencia-disponibilidade sob carga adversarial

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em tradeoffs latencia-disponibilidade sob carga adversarial e restricoes operacionais adversariais.

9 minLer artigo