An Automated Policy Verification and Enforcement Framework for Ethereum Applications

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]

Authors

Swagatika Sahoo

This author has not been identified. Look up 'Swagatika Sahoo' in Google

Raju Halder

This author has not been identified. It may be one of the following persons: Look up 'Raju Halder' in Google

Samrat Mondal

This author has not been identified. Look up 'Samrat Mondal' in Google