Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit.

Silvia Bonomi, Emilio Coppa, Simone Lenti, Claudia Ruggiero

Browse the full EDCC paper archive.