PTVC: Achieving Privacy-Preserving Trust-Based Verifiable Vehicular Cloud Computing | IEEE Conference Publication | IEEE Xplore