DOI10.1007/978-3-030-43725-1_9zbMath1520.91440OpenAlexW2954438468MaRDI QIDQ6166532
Richard Banach
Publication date: 3 August 2023 Published in: Financial Cryptography and Data Security (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-030-43725-1_9
zbMATH Keywords
verificationrefinementEvent-Bblockchainsmart contractRodinSolidity
Mathematics Subject Classification ID
Cryptography (94A60) Actuarial science and mathematical finance (91G99)
Cites Work