Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment[J] IEEE ACCESS 2020(8) Lee, Junghee Nicopoulos, Chrysostomos Jeong, Gweonho Kim, Jihye Oh, Hyunok
