SIF: A Framework for Solidity Contract Instrumentation and Analysis.

Chao Peng, Sefa Akca, Ajitha Rajan

Browse the full APSEC paper archive.