09. mars 2022 · Fintech-kryptografi
Custody-myndighet i distribuerte finansielle systemer: Invariatorientert spesifikasjon og verifikasjon
En formell engineeringanalyse av fintech-kryptografi med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.