Mar 09, 2022 · Fintech Cryptography
Custody Authority in Distributed Financial Systems: Invariant-Oriented Specification and Verification
A formal engineering analysis of fintech cryptography with emphasis on invariant-oriented specification and verification and adversarial operational constraints.