Lighting: kinds of lights
Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin.
Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The.