1. Flexible and Efficient Verifiable Computation on Encrypted Data [Youtube]
  2. Authenticated Computation of Control Signal from Dynamic Controllers [Slides]
  3. Verifiable Computing
  4. Interactive Proof for Rounding Arithmetic
  5. Comparison on Homomorphically Encrypted Numbers: Towards Complexity-optimal Polynomial Approximation
  6. Verifiable Computing and zk-SNARKs
  7. Reusable Fuzzy Extractor with Practical Storage Size