Benjamin Arazi Computationally Efficient Distributed and Delegated Certification. 1167-1174 2008 19 IEEE Trans. Parallel Distrib. Syst. 9 http://dx.doi.org/10.1109/TPDS.2007.70809 db/journals/tpds/tpds19.html#Arazi08