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.