09 mar 2022 · Criptografia Fintech
Autoridad de custodia en sistemas financieros distribuidos: Especificacion y verificacion orientadas a invariantes
Un analisis formal de ingenieria sobre criptografia fintech con enfasis en especificacion y verificacion orientadas a invariantes y restricciones operativas adversariales.