Efficient and Verifiable Algorithm for Secure Outsourcing of Large-scale Linear Programming. - Haixin Nie; Xiaofeng Chen 001; Jin Li 002; Josolph Liu; Wenjing Lou (AINA, 2014)