1 January 2023

The conference paper “Information Flow Analysis for Detecting Non-Determinism in Blockchain”, by Olivieri, L., Arceri, V., Ferrara, P., Spoto, F., Negrini, L., Tagliaferro, F., Cortesi, A., has just been published in “Leibniz International Proceedings in Informatics, LIPIcs”! Available here.