RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis | IEEE Conference Publication | IEEE Xplore