Cloud-based quadratic optimization with partially homomorphic encryption by Alexandru, AB, Gatsis, K, Shoukry, Y, Seshia, SA, Tabuada, P, Pappas, GJ