Press & Publications
Financial Cryptography and Data Security: A Formal Model of Algorand Smart Contracts
March 6, 2021