Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Browse the full ECOOP paper archive.