An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts.

Chiara Braghin, Elvinia Riccobene, Simone Valentini

Browse the full SECRYPT paper archive.