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

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.

• consensus
• distributed-systems
• backend
• resilience
• auditability
• mathematics