Talks

1. Flexible and Efficient Verifiable Computation on Encrypted Data [Youtube]
   • IACR International Conference on Public-Key Cryptography (PKC2021), Online, May 2021
2. Authenticated Computation of Control Signal from Dynamic Controllers [Slides]
   • 59th IEEE Conference on Decision and Control, Online, December 2020
3. Verifiable Computing
   • Invited Talk in Techtonic 2019 by Samsung SDS, Seoul, Korea, October 2019
4. Interactive Proof for Rounding Arithmetic
   • 2019 Korea Mathmatical Society Annual Meeting, Seoul, Korea, October 2019
5. Comparison on Homomorphically Encrypted Numbers: Towards Complexity-optimal Polynomial Approximation
   • Husik Symposium by Dept. of Mathematical Sciences, Seoul National University, Seoul, Korea, Octover 2019
6. Verifiable Computing and zk-SNARKs
   • Invited Talk in Bloom Technology, Pangyo, Korea, August 2019
7. Reusable Fuzzy Extractor with Practical Storage Size
   • 2018 Korea Mathmatical Society Annual Meeting, Seoul, Korea, March 2018