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.