Blockchain-based Mobility Verification of Connected Cars | IEEE Conference Publication | IEEE Xplore