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

Limpar

Explorar categorias (7)

Arquitetura de Seguranca Criptografia Fintech DevSecOps de Missao Critica Engenharia de Resiliencia Infraestrutura Pos-Quantica Sistemas Distribuidos Sistemas IIoT Seguros

Explorar tags (32)

22 artigos encontrados. Mostrando 13-22.

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

04 de jul. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Reconstituicao de incidentes sob falha parcial

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

14 minLer artigo

18 de jun. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Cadeias de evidencia de auditoria e operacoes verificaveis

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

13 minLer artigo

06 de mai. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Sequenciamento de migracao para sistemas de alta garantia

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

12 minLer artigo

21 de abr. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Premissas de comprometimento bizantino e caminhos de recuperacao

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

11 minLer artigo

09 de mar. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Especificacao e verificacao orientadas a invariantes

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

10 minLer artigo

23 de fev. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Tradeoffs latencia-disponibilidade sob carga adversarial

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

9 minLer artigo

11 de jan. de 2022 · Criptografia Fintech

Autoridade de custodia em sistemas financeiros distribuidos: Contencao de falhas e limites de raio de impacto

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

8 minLer artigo