Book chapter published in "Distributed Computing to Blockchain: Architecture, Technology, and Applications"!
1 January 2023
The book chapter “Analyzing information flow in solidity smart contracts”, by Halder, R., Alam, M.I., Fajge, A.M., Singh, N.K., Cortesi, A., has just been published in “Distributed Computing to Blockchain: Architecture, Technology, and Applications”! Available here.