VANET-Sec: A Framework to Secure Vehicular Ad-Hoc Networks Using a Permissioned Blockchain | IEEE Conference Publication | IEEE Xplore