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 37-48.

27 de jul. de 2024 · DevSecOps de Missao Critica

Assurance DevSecOps de missao critica: Especificacao e verificacao orientadas a invariantes

Uma analise formal de engenharia sobre devsecops de missao critica com enfase em especificacao e verificacao orientadas a invariantes e restricoes operacionais adversariais.

10 minLer artigo

16 de jun. de 2024 · DevSecOps de Missao Critica

Assurance DevSecOps de missao critica: Tradeoffs latencia-disponibilidade sob carga adversarial

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

9 minLer artigo

04 de mai. de 2024 · DevSecOps de Missao Critica

Assurance DevSecOps de missao critica: Contencao de falhas e limites de raio de impacto

Uma analise formal de engenharia sobre devsecops de missao critica com enfase em contencao de falhas e limites de raio de impacto e restricoes operacionais adversariais.

8 minLer artigo

18 de abr. de 2024 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Reconstituicao de incidentes sob falha parcial

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

14 minLer artigo

06 de mar. de 2024 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Cadeias de evidencia de auditoria e operacoes verificaveis

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

13 minLer artigo

21 de fev. de 2024 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Sequenciamento de migracao para sistemas de alta garantia

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

12 minLer artigo

09 de jan. de 2024 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Premissas de comprometimento bizantino e caminhos de recuperacao

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

11 minLer artigo

23 de dez. de 2023 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Especificacao e verificacao orientadas a invariantes

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

10 minLer artigo

11 de nov. de 2023 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Tradeoffs latencia-disponibilidade sob carga adversarial

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

9 minLer artigo

25 de out. de 2023 · Sistemas IIoT Seguros

Transporte IIoT seguro e controles de segmentacao: Contencao de falhas e limites de raio de impacto

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

8 minLer artigo

13 de set. de 2023 · Infraestrutura Pos-Quantica

Planos de controle de migracao pos-quantica: Reconstituicao de incidentes sob falha parcial

Uma analise formal de engenharia sobre infraestrutura pos-quantica com enfase em reconstituicao de incidentes sob falha parcial e restricoes operacionais adversariais.

14 minLer artigo

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