VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities.

Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang

Browse the full NDSS paper archive.