Clinton Walker, Qijun Gu, Terry Penner: Computation integrity in mobile cloud: Running probabilistically checkable proof on Android. CollaborateCom 2013: 599-602