@inproceedings{
Setty11Toward,
Author = {Srinath Setty and Andrew J. Blumberg and Michael Walfish},
Title = {Toward practical and unconditional verification of remote computations},
Year = {2011}
}