BACKGROUND In drug development, a 4-phase hierarchical model for the clinical evaluation of new pharmaceuticals is well known. Several comparable phased evaluation schemes have been proposed for medical tests. PURPOSE To perform a systematic search of the literature, a synthesis, and a critical review of phased evaluation schemes for medical tests. DATA SOURCES Literature databases of Medli...

Verifiable computation (VC) allows a computationally weak client to outsource the evaluation of a function on many inputs to a powerful but untrusted server. The client invests a large amount of off-line computation and gives an encoding of its function to the server. The server returns both an evaluation of the function on the client’s input and a proof such that the client can verify the eval...