Balancing auditability and privacy in vehicular networks | Synapse