TY - RPRT TI - Verifiable Computations with RAM-like Running Times AU - Tahsin Civan Mert Dönmez PY - 2018 UR - https://arxiv.org/abs/1809.04174 ID - 1809.04174 ER -