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)

Efficient Verifiable Public Key Encryption with Keyword Search Based on KP-ABE. - Pengliang Liu; Jianfeng Wang 001; Hua Ma; Haixin Nie (BWCCA, 2014)

Verifiable Algorithm for Secure Outsourcing of Systems of Linear Equations in the Case of No Solution. - Haixin Nie; Hua Ma; Jianfeng Wang 001; Xiaofeng Chen 001 (BWCCA, 2014)