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 (18)

Arquitetura de Seguranca Backend Blockchain Cloud Control Plane Failure Criptografia Fintech DevSecOps de Missao Critica DevSecOps Pipeline Compromise DevSecOps Under Regulatory Pressure Distributed Systems Distributed Systems Failure Distributed Systems Survivability Engenharia de Resiliencia Identity / Key Management Failure Infraestrutura Pos-Quantica Post-Quantum Infrastructure Migration PQC Sistemas Distribuidos Sistemas IIoT Seguros

Explorar tags (57)

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

67 artigos encontrados. Mostrando 49-60.

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

16 de ago. de 2022 · Sistemas Distribuidos

Seguranca de runtime de consenso sob atraso assimetrico: Contencao de falhas e limites de raio de impacto

Uma analise formal de engenharia sobre sistemas distribuidos com enfase em contencao de falhas e limites de raio de impacto e restricoes operacionais adversariais.

8 minLer artigo