GraBit: A Sequential Model-Based Framework for Smart Contract Vulnerability Detection | IEEE Conference Publication | IEEE Xplore