1. Formal verification of workflow policies for smart contracts in Azure blockchain;wang;VSTTE Ser LNCS,2019
2. Slither: A Static Analysis Framework for Smart Contracts
3. Evaluating e-voting: Theory and practice;bokslag;CoRR,2016
4. SoK: Lending pools in decentralized finance;bartoletti;Financial Cryptography Workshops,0