Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains | IEEE Conference Publication | IEEE Xplore