Xuhua Ding, HweeHwa Pang, Junzuo Lai: Verifiable and private top-k monitoring. AsiaCCS 2013: 553-558