Achieving Privacy-Preserving and Verifiable Support Vector Machine Training in the Cloud | Synapse