Swagatika Sahoo, Raju Halder, Samrat Mondal. An Automated Policy Verification and Enforcement Framework for Ethereum Applications. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023. pages 1-5, IEEE, 2023. [doi]
Abstract is missing.