A PhD student in cryptography at the Institute of Information Engineering, Chinese Academy of Sciences (IIE, CAS).
Focusing on fully homomorphic encryption (FHE), especially:
- TFHE-style programmable bootstrapping and homomorphic lookup tables (LUT)
- Algebraic and tensor-based bootstrapping frameworks
- FHE system / ISA design and implementation
- Trusted Execution Environments (TEE) and hybrid FHE+TEE architectures
Interested in closing the gap between theoretical FHE constructions and deployable systems, through better bootstrapping algorithms, LUT frameworks, and hardware-/compiler-friendly abstractions.
You can find my publications and citation statistics on my
Google Scholar profile, and view the current citation count via this badge:
🔥 News
- 2025.10 🎉 Our work “FH-TEE: Single Enclave for all Applications” was presented at Inscrypt 2025, exploring hybrid designs that combine trusted execution environments with FHE for practical secure computation.
- 2025.09 🎉 “Bootstrapping over Free \(\mathcal{R}\)-Module” appeared on the IACR ePrint Archive, introducing a new accumulator structure that decouples the modulus and ring dimension in TFHE-style bootstrapping.
- 2025.09 🎉 “Tetris: Versatile TFHE LUT and Its Application to FHE Instruction Set Architecture” was posted to IACR ePrint, proposing a general TFHE LUT framework and an FHE-ISA for high-precision homomorphic computation.
📝 Selected Publications
Tetris: Versatile TFHE LUT and Its Application to FHE Instruction Set Architecture
Ruida Wang, Jikang Bai, Xuan Shen, Xianhui Lu, Zhihao Li, Binwu Xiang, Zhiwei Wang, Hongyu Wang, Lutan Zhao, Kunpeng Wang
Tetris proposes a versatile TFHE LUT framework that supports higher-precision homomorphic instructions and enables the design of an FHE instruction set architecture (FHE-ISA). It integrates GLWE-based LUTs, batched circuit bootstrapping, and parallel evaluation strategies to significantly improve precision and performance.
Bootstrapping over Free \(\mathcal{R}\)-Module
Ruida Wang, Jikang Bai, Yijian Liu, Xinxuan Zhang, Xianhui Lu, Lutan Zhao, Kunpeng Wang, Rui Hou
This work revisits algebraic accumulator-based bootstrapping and introduces a free \(\mathcal{R}_N\)-module structure to decouple modulus \(q\) and polynomial dimension \(N\), achieving asymptotic and concrete improvements in precision, performance, and key size.
FH-TEE: Single Enclave for all Applications
Jikang Bai, Ruida Wang, Xianhui Lu, Chunling Chen, Kunpeng Wang
Presented at Inscrypt 2025
FH-TEE studies how to combine trusted execution environments and FHE in a single-enclave architecture, aiming to balance security, performance, and programmability for practical encrypted computing.
🎖 Honors and Awards
📖 Educations
-
Ph.D. in Cryptography, Institute of Information Engineering, Chinese Academy of Sciences (IIE, CAS), Beijing, China
2023 – Present -
B.Eng. in Internet of Things Engineering, Beijing University of Technology (BJUT), Beijing, China
2019 – 2023
🧪 Research Keywords
Fully Homomorphic Encryption (FHE) · TFHE / FHEW · Programmable Bootstrapping · Homomorphic LUTs ·
FHE Instruction Set Architecture (FHE-ISA) · Bootstrapping over Algebraic Structures ·
Trusted Execution Environments (TEE) · Secure Computation · Privacy-Preserving Systems