11 July 2023

The journal article “Information Flow Analysis for Detecting Non-Determinism in Blockchain”, by Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto, has just been published in “Schloss Dagstuhl - Leibniz-Zentrum für Informatik”! Available here.