Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The.
1 CSCI 3130: Formal Languages and Automata Theory Tutorial 4 Hung Chun Ho Office: SHB 1026 Department of Computer Science & Engineering.